Colas Le Guernic's starred repositories
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
paper_collection
Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read
dynamic-analysis
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
Awesome-Binary-Similarity
An awesome & curated list of binary code similarity papers
clusterfuzzlite
ClusterFuzzLite - Simple continuous fuzzing that runs in CI.
snapchange
Lightweight fuzzing of a memory snapshot using KVM
fuzz-introspector
Fuzz Introspector -- introspect, extend and optimise fuzzers
udmp-parser
A Cross-Platform C++ parser library for Windows user minidumps with Python 3 bindings.
cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.