dr_checker

dr_checker copied to clipboard

rguzg

Clang/LLVM 10 run where SoundyAnalysisRunner fails

2

Any ideas why the SoundyAnalysisRunner fails? It makes the Bitcode, links it (with dr_linker), finds entrypoints etc. Also had to disable c2xml since it was complaining on malformed input. ```...

marcinguy

Porting to Clang/LLVM 9

4

Hi, Have some success in porting it to more recent LLVM (LLVM 9). Managed to find new APIs, however with below ones I cannot find them, would need some guidance....

marcinguy

Running on recent stable Kernel 5.13.9

4

Hi, Is this project still maintained/supported? If I succeed I can make a PR to update this tool to recent versions. Had to jump through some hops, but made it...

marcinguy

where to get kernel source code like Mediatek?

1

Hello, I wanna know where to get the mobile kernel source code mentioned in your paper? could you please give me the link? Thank you!

tangzhenhao

Memory leakage and double free

1

Good work but the allocated memory seems handled not very well, there are a few memory errors. 1. double free https://github.com/ucsb-seclab/dr_checker/blob/speedy/llvm_analysis/MainAnalysisPasses/SoundyAliasAnalysis/include/AliasObject.h#L251 This line only free the memory, the vector still...

Lawliar

Facing issues with setup_drchecker.py

1

when I'm running setup cmd, python setup_drchecker.py -o drchecker_deps. facing the below errors . Help me to resolve .................. [ 9%] Building CXX object projects/libcxxabi/src/CMakeFiles/cxxabi_objects.dir/typeinfo.cpp.o [ 9%] Building CXX object...

manikanta226

When the `makeout.txt` has line breakers such as ```shell gcc -fPIC -pthread -m64 -Wa,--noexecstack -Wall -O3 -L. -z defs -Wl,-znodelete -shared -Wl,-Bsymbolic \ -o test/p_test.so -Wl,--version-script=test/p_test.ld test/p_test-dso-p_test.o \ -ldl -pthread...

zyh1121

Hello, while trying to run dr_checker against a Qualcomm (Pixel 1 - msm) kernel by using the docker image I am running into the following issue: [*] Running c2xml to...

mariopirker

Hi, @Machiry I tried to do taint analysis w/ Dr.checker for a sample program, a part of the code is shown below: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> typedef struct { int time; int data;...

cpumask