PoTo: A Hybrid Andersen's Points-to Analysis for Python

Algebraic effects for Rust

Gong liveness and channel safety checker

A Python Interpreter written in Rust

The Trillium logic for proving trace refinement properties such as liveness via Iris

A List of Foundational Haskell Papers

Two-Level Collaborative Fuzzing for Python Runtimes

Ownership analysis that helps translating C to Rust

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Migrate C code to Rust

A formal verifier and analysis tool for Solidity Smart Contracts

An enhancement ONScripter project porting to many platforms, especially web.

A library of blockchain security resources for various categories in blockchain.

Compilation of awesome open-source Solana repositories on GitHub!

A collection of extensions to angr to handle new platforms

Holistic Greybox Fuzzing of Multi-Language Systems

A symbolic testing tool for EVM smart contracts

K Semantics of the Ethereum Virtual Machine (EVM)

A curated list of awesome Ethereum security references

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Demystifying Exploitable Bugs in Smart Contracts

The official implementation of ECCV'24 paper "To Generate or Not? Safety-Driven Unlearned Diffusion Models Are Still Easy To Generate Unsafe Images ... For Now". This work introduces one fast and e…

KeY Theorem Prover for Deductive Java Verification

Python logging made (stupidly) simple

A dynamic checker for the ECF property incorporated into geth

SOChecker is dedicated to detecting vulnerabilities in smart contract code snippets from Q&A forums like Stack Overflow.