output: #fixed code
                                  public void handleEof() throws IOException {
          log.debug("Received SSH_MSG_CHANNEL_EOF on channel {}", id);
          eof = true;
          notifyStateChanged();
      }
input: #vulnerable code 
                                  public void handleEof() throws IOException {
          log.debug("Received SSH_MSG_CHANNEL_EOF on channel {}", id);
          synchronized (lock) {
              eof = true;
              lock.notifyAll();
          }
      } 
                              #location 2 
                              #vulnerability type THREAD_SAFETY_VIOLATION