lrsan

lrsan copied to clipboard

@kengiter Something is confusing me. in **CriticalVar.cc line 1119**, it should be CV->users() or cvAddr->users()? Please checkout this test.c [https://github.com/zhanggenex/mylr/blob/master/test.c](url) and test.ll [https://github.com/zhanggenex/mylr/blob/master/test.ll](url). Since CV is `%3 = load i32,...

zhanggenex

Definition of findLackingChecks?

1

When I was reading lrsan code, I could not find the definition of findLackingChecks() in /lrsan/analyzer/src/lib/CriticalVar.h. **line 171: bool findLackingChecks(Value *V, Instruction *CI)**;

zhanggenex