Machiry Aravind Kumar
Machiry Aravind Kumar
The mediatek kernel is here: https://drive.google.com/open?id=0B4XwT5D6qkNmLXdNTk93MjU3SWM Amazon echo is here: https://fireos-audio-src.s3.amazonaws.com/D6Cy79CM6VdRwJb2bnQdh3EH97/Echo_src-5.5.0.3.tar.bz2 For the other, the companies changed their source code location URLs, and the links that we used do not...
DominanceFrontier is needed for range analysis. What is the error you are seeing?
Check if this is required.
@tnballo Sorry for getting back at this soo late. If you happen to have the bc file, Specifically, `/home/tballo/mediatek_kernel/llvm_bitcode_out/drivers/misc/mediatek/thermal/llvm_link_final/final_to_check.bc`, Could you share it please?
As of now, DR.CHECKER is customized to analyzing the kernel code. We may in near future ( ~ 1 month) release a general purpose taint based vulnerability finding tool based...
Is it for x86_64?
Hey @marcinguy , I don't think this would work with llvm 9. The LLVM API changed a lot. I don't have enough cycles to do this myself. However, you are...
Can you share your kernel?
@srikanth007m Looking into it now.
As the error suggests, clang doesn't support that ABI. This commit ignores the flag: https://github.com/ucsb-seclab/difuze/commit/91a6cb3e9b7e19d145789af860831b08eebcd9a4\ But for the sake for interface recovery, I suggest you to pull the latest commit...