#vulnerable code 
                                public VanillaMappedBuffer sliceOf(long size) throws IOException {
        return sliceAtWithId(this.address, size, -1);
    } 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                                public VanillaMappedBuffer sliceOf(long size) throws IOException {
        return sliceAt(this.address, size, -1);
    }