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

GitHub

358 stars
28 watching
61 forks
Language: C
last commit: over 5 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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