output: #fixed code
                                  public boolean isStarted() {
          try {
              lock.lock();
  
              return client.getState() == CuratorFrameworkState.STARTED;
          } finally {
              lock.unlock();
          }
      }
input: #vulnerable code 
                                  public boolean isStarted() {
          return client.getState() == CuratorFrameworkState.STARTED;
      } 
                              #location 2 
                              #vulnerability type THREAD_SAFETY_VIOLATION