Beast code in Giters

Romain Malmain's repositories

Not at all a Mushroom Wars clone.

Language:JavaUnlicense1 4 13

A dummy repo reproducing a cargo bug

Language:RustMIT010

A project for generating C bindings from Rust code

Language:RustMPL-2.0000

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Language:RustNOASSERTION000

Language:CNOASSERTION000

A patched QEMU that exposes an interface for LibAFL-based fuzzers

Language:CNOASSERTION000

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++NOASSERTION000

SymCC: efficient compiler-based symbolic execution

Language:C++GPL-3.0000

SymQEMU: Compilation-based symbolic execution for binaries

Language:CNOASSERTION000

Rust bindings for the Z3 solver.

Language:Rust000