#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
#fixed code
                                public void handleEof() throws IOException {
        log.debug("Received SSH_MSG_CHANNEL_EOF on channel {}", id);
        eof = true;
        notifyStateChanged();
    }