ucsb-seclab dr_checker issues

ucsb-seclab / dr_checker

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

BSD 2-Clause "Simplified" License

329 stars 71 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Visulizaton by instr

#40 rguzg closed 2 years ago
0
Clang/LLVM 10 run where SoundyAnalysisRunner fails

#39 marcinguy opened 3 years ago
2
Porting to Clang/LLVM 9

#38 marcinguy closed 1 month ago
6
Running on recent stable Kernel 5.13.9

#37 marcinguy opened 3 years ago
4
where to get kernel source code like Mediatek?

#36 tangzhenhao opened 4 years ago
1
fixing setup script to use the new way of building LLVM

#35 deadly-platypus closed 3 years ago
0
Memory leakage and double free

#34 Lawliar opened 4 years ago
1
Facing issues with setup_drchecker.py

#33 manikanta226 opened 5 years ago
1
Assertion Error when line breaker '\' appear in makeout.txt

#32 zyh1121 opened 5 years ago
0
No such file or directory: '/tmp/driver.h.hdrout'

#31 mariopirker opened 5 years ago
0
Problems for nested GEP instructions

#30 cpumask opened 5 years ago
0
Port Dr.Checker to the latest llvm version

#29 cpumask opened 5 years ago
0
How to compile driver using clang

#28 ghost opened 5 years ago
2
What the dangerous for "Trying to use a global variable without locking."

#27 leiwen83 closed 5 years ago
1
How to add arm32 support?

#26 leiwen83 closed 5 years ago
5
Fix gitignore wildcard

#25 jwilk closed 5 years ago
0
Expanding platform support

#24 ajdlinux opened 5 years ago
0
Slack link is broken

#23 klockeph closed 6 years ago
1
Core dump due to LLVM assert fail on 2 Mediatek drivers

#22 tnballo opened 6 years ago
1
Fix PATH variable update suggestion in setup script

#21 tnballo closed 6 years ago
1
Soundy Analysis failed for all entrypoints

#20 willsheil closed 6 years ago
6
Use strong updates in alias analysis

#19 Machiry opened 7 years ago
1
Fixing issue #17 and some precision improvements :runner:

#18 Machiry closed 7 years ago
0
Handle taint propagation in sscanf

#17 Machiry closed 7 years ago
0
Minor fix

#16 Machiry closed 7 years ago
0
Add visualization of results without context + little refactor of server

#15 Machiry closed 7 years ago
0
How can I use dr_checker to do common static analysis?

#14 tomgu1991 opened 7 years ago
2
Merging Results visualization :star:

#13 Machiry closed 7 years ago
0
Add warning for tainted data use in sprintf with %s

#12 Machiry closed 6 years ago
0
Refactoring and Optimizations :+1:

#11 Machiry closed 7 years ago
0
Fix typos

#10 jwilk closed 7 years ago
0
Got error while running example mediatek_kernel

#9 D-W- closed 7 years ago
5
dr_linker: fix array size calculation

#8 idl3r closed 7 years ago
2
Dr_linker: sort definedFunctions vector to accelerate search

#7 idl3r closed 7 years ago
0
UI for viewing warnings.

#6 Machiry closed 7 years ago
0
Grouping warnings by instr and removing duplicates :dragon:

#5 Machiry closed 7 years ago
0
Finalizing getting correct file :clap:

#4 Machiry closed 7 years ago
0
Filter warnings, if there are raised from different contexts.

#3 Machiry closed 7 years ago
1
setup_drchecker clones LLVM projects in wrong directories

#2 ajdlinux closed 7 years ago
1
setup_drchecker.py should error out if no output directory specified

#1 ajdlinux closed 7 years ago
1