Pinned Repositories
cargo-bug
A dummy repo reproducing a cargo bug
cbindgen
A project for generating C bindings from Rust code
Knight_Wars
Not at all a Mushroom Wars clone.
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
libafl.qemu-intel-pt
qemu-libafl-bridge
A patched QEMU that exposes an interface for LibAFL-based fuzzers
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
symcc
SymCC: efficient compiler-based symbolic execution
symqemu
SymQEMU: Compilation-based symbolic execution for binaries
z3.rs
Rust bindings for the Z3 solver.
rmalmain's Repositories
rmalmain/Knight_Wars
Not at all a Mushroom Wars clone.
rmalmain/cargo-bug
A dummy repo reproducing a cargo bug
rmalmain/cbindgen
A project for generating C bindings from Rust code
rmalmain/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
rmalmain/libafl.qemu-intel-pt
rmalmain/qemu-libafl-bridge
A patched QEMU that exposes an interface for LibAFL-based fuzzers
rmalmain/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
rmalmain/symcc
SymCC: efficient compiler-based symbolic execution
rmalmain/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
rmalmain/z3.rs
Rust bindings for the Z3 solver.