output: #fixed code
                                public void validate() {
      Map<String, Binding<?>> allBindings = linkEverything();
      new ProblemDetector().detectProblems(allBindings.values());
    }
input: #vulnerable code 
                                public void validate() {
      Map<String, Binding<?>> allBindings;
      synchronized (linker) {
        linkStaticInjections();
        linkEntryPoints();
        allBindings = linker.linkAll();
      }
      new ProblemDetector().detectProblems(allBindings.values());
    } 
                              #location 8 
                              #vulnerability type THREAD_SAFETY_VIOLATION