Stars
A practical hacker's guide to the C programming language.
A collection of links related to Linux kernel security and exploitation
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
A collection of out-of-tree LLVM passes for teaching and learning
A collection of out-of-tree Clang plugins for teaching and learning
Lean theorem proving interface which feels like pen-and-paper proofs.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Mutation testing resources: how to make better code by introducing bugs
A unit test-like interface for fuzzing and symbolic execution
A collection of hacking / penetration testing resources to make you better!
llmstep: [L]LM proofstep suggestions in Lean 4.
Public snapshots of "ACSL by Example"
The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".
A gently curated list of companies using verification formal methods in industry
BDD based symbolic model checker for the modal mu-calculus
Smart contract audits performed on Sablier by third-party security researchers
Reproduce DeFi hacked incidents using Foundry.
An interpreter for Rust's mid-level intermediate representation
Exercises and projects for Jane Street's OCaml Workshop
Interactively Visualizing Ownership and Borrowing for Rust