#vulnerable code 
                                public final short getClock() {
        return totalClock;
    } 
                            #location 2 
                            #vulnerability type UNSAFE_GUARDED_BY_ACCESS
#fixed code
                                public final short getClock() {
        return globalClock;
    }