output: #fixed code
                                Host getHost() {
      return host;
    }
input: #vulnerable code 
                                boolean isAvailable() {
      return state != HostConnectionState.STANDBY;
    } 
                              #location 2 
                              #vulnerability type THREAD_SAFETY_VIOLATION