Steffen Schulz's repositories
kafl.symcc
kAFL fork of SymCC. Original project: https://github.com/eurecom-s3/symcc/
bsod-kernel-fuzzing
BSOD: Binary-only Scalable fuzzing Of device Drivers
Language:C000
Language:HTML000
Language:HTML000
Language:PythonApache-2.0000
kAFL
A fuzzer for full VM kernel/driver targets
Language:MakefileNOASSERTION000
kafl.edk2
EDK2 / TDVF branches for kAFL fuzzing research (experimental - do not use!)
NOASSERTION000
kafl.fuzzer
kAFL Fuzzer
Language:PythonNOASSERTION000
kafl.linux
Linux kernel braches for confidential compute research
000
000
kafl.targets
Target components for kAFL/Nyx Fuzzer
Language:CNOASSERTION000
Language:CNOASSERTION000
libxdc
The fastest Intel-PT decoder for fuzzing
Language:CMIT000
000
Language:CGPL-2.0000
PreSiFuzz
Pre-Silicon Hardware Fuzzing Toolkit
Language:RustApache-2.0000
SGX_APP
This repo is used to store application that modified to support SGXSan
000
000
symcc
SymCC: efficient compiler-based symbolic execution
Language:C++GPL-3.0000
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
Language:GoApache-2.0000