razzer
Kernel bug detector
A tool to identify and fix race bugs in kernel code through fuzzing and static analysis
A Kernel fuzzer focusing on race bugs
358 stars
28 watching
61 forks
Language: C
last commit: over 5 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
compsec-snu/difuzz-rtl | An approach to fuzz testing CPU designs using differential coverage analysis and random instruction mutation | 74 |
sycuricon/morfuzz | A fuzzing framework for detecting functional bugs in RISC-V processors | 23 |
s3team/squirrel | A tool that generates random inputs to test the robustness of database management systems | 185 |
quarkslab/android-fuzzing | A toolkit for greybox fuzzing of Android applications using AFL++ Frida mode | 107 |
status-im/nim-drchaos | A fuzzing framework for testing C/C++/Obj-C targets by generating random inputs to induce crashes or verify invariants. | 68 |
momalab/icsfuzz | Fuzzes control applications to uncover vulnerabilities | 26 |
henshin/filebuster | A fast and flexible web application testing tool that uses brute-force methods to discover vulnerabilities | 212 |
snuspl/fluffy | A fuzzer that tests Ethereum blockchain clients for consensus bugs by simulating multiple transactions from initial program states | 54 |
fuzzstati0n/fuzzgoat | A deliberately crafted C program to test the efficacy of fuzzers. | 190 |
redteampentesting/monsoon | A tool that sends HTTP requests in a fast and controlled manner to discover or test vulnerabilities in web applications. | 460 |
bhass1/pyfuzz_can | A tool for generating and testing random CAN network inputs to simulate real-world conditions. | 13 |
iromise/fans | Fuzzing tool to identify vulnerabilities in Android native system services. | 242 |
fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 118 |
withsecureopensource/mqtt_fuzz | A tool to test and identify vulnerabilities in MQTT protocol implementations by sending pre-defined sequences of control packets. | 77 |
battelle/sandsifter | An x86 processor fuzzer that systematically searches for hidden instructions and bugs to detect security vulnerabilities and software issues | 485 |