Xuezhi Song
Xuezhi Song
Exception message: ` at microbat.instrumentation.runtime.ExecutionTracer$Locker.unLock(ExecutionTracer.java:1306) at microbat.instrumentation.runtime.ExecutionTracer._hitInvoke(ExecutionTracer.java:401) at exp.datarace.UseCounter.increment(DataRaces.java:25) at exp.datarace.UseCounter.run(DataRaces.java:28) at java.lang.Thread.run(Thread.java:748) java.lang.NullPointerException at microbat.instrumentation.runtime.ExecutionTracer$Locker.unLock(ExecutionTracer.java:1306) at microbat.instrumentation.runtime.ExecutionTracer._hitInvoke(ExecutionTracer.java:401) at exp.datarace.UseCounter.increment(DataRaces.java:25) at exp.datarace.UseCounter.run(DataRaces.java:28) at java.lang.Thread.run(Thread.java:748)` Testcase :[exp.datarace.DataRaces](https://github.com/llmhyy/microbat_experiment/commit/582bd8609d08fe34ea26673918238a872e533231) Reproduce: Use Microbat to...
Q1: In my understanding, this function`isInstrumentable(String className, Method method, LineNumberGen[] lineNumbers)` is using to check whether a method need to filter.  But now it is exactly the same as...