dr_checker

dr_checker copied to clipboard

Hi, Dr.Checker is currently built with llvm 3.8, which is already years old. It will be great if we can port Dr.Checker to the latest llvm versions (7.0 or 8.0),...

cpumask

How to compile driver using clang

2

Hi, I encountered a difficulty about how to compile driver using clang and I find your tool can make it so I need your help. For example, I want to...

ghost

Core dump due to LLVM assert fail on 2 Mediatek drivers

1

Even with no timeout, Soundy Analysis fails for 8 of the 436 entry points in the [provided Mediatek kernel](https://github.com/ucsb-seclab/dr_checker#326-example) on my machine. **2 of these entry points actually crash Dr....

tnballo

I'd like to see if we can expand the use of DR.CHECKER beyond the currently support ARM chipsets and associated drivers. My specific interest is in PowerPC (and in particular...

ajdlinux

How can I use dr_checker to do common static analysis?

2

Hi, Well, it is interesting to use this tool to analyze vulnerabilities in drivers. But can I use it for common static analysis? Basically, I have a single file with...

tomgu1991

Use strong updates in alias analysis

1

Machiry