Pinned Repositories
echidna-vs-forge
Testing echidna vs. forge fuzzing
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
halmos
Symbolic bounded model checker for Ethereum smart contracts
hevm
symbolic EVM evaluator. https://hevm.dev
manticore
Symbolic execution tool
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
symexec-bench
baolean's Repositories
baolean/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
baolean/symexec-bench
baolean/manticore
Symbolic execution tool
baolean/echidna-vs-forge
Testing echidna vs. forge fuzzing
baolean/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
baolean/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
baolean/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
baolean/halmos
Symbolic bounded model checker for Ethereum smart contracts
baolean/hevm
symbolic EVM evaluator. https://hevm.dev
baolean/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
baolean/symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
baolean/z3
The Z3 Theorem Prover