A symbolic execution engine for EVM smart contract binaries.

The formally verified crypto library for Rust

A code ACL checker for Rust

check code for common misspellings

Creusot helps you prove your code is correct in an automated fashion.

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

tiny shared projects

Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.

Scripts to run within Ghidra, maintained by the Trellix ARC team

The Z3 Theorem Prover

Quarkslab Bindiffer but not only !

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Differential Fuzzer for Ethereum 2.0

Modern, opinionated, and gas optimized building blocks for smart contract development.