zhanggenex

Results 7 issues of zhanggenex

make -C /lib/modules/`uname -r`/build M=`pwd` modules_install make[1]: Entering directory '/usr/src/linux-headers-4.10.0-19-generic' INSTALL /home/zhanggen/simple-pt/simple-pt.ko At main.c:158: ** - SSL error:02001002:system library:fopen:No such file or directory: bss_file.c:175 - SSL error:2006D080:BIO routines:BIO_new_file:no such file:...

I am pretty curious of **why put all the fuzzers and targets and fuzzing campaign inside a docker**??? Imagine Jack is a skilled practioner in fuzzing. He already has all...

enhancement

@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,...

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)**;

1. make CC=clang CFLAGS="-g -O0 -emit-llvm" -> make CC=clang CFLAGS="-g -O0 -c -emit-llvm" 2. llvm-link *.bc -o single.bc -> llvm-link *.o -o single.bc

Hi, The paper says juxta found 118 bugs in total, and the table in paper only lists simplified info of them. Could you please send me the detailed info of...