Security, testing & formal verification

Highlights

A smart contract test generator based on the Branching Tree Technique.

bulloak

CLI · Solidity · Code quality · Code analysis · Test automation · Solidity development · Code coverage

Slither is a Solidity and Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses. Slither has been used for many years by both security engineers and developers to secure their smart contracts. By allowing developers to find the most common vulnerabilities on their smart contracts, Slither helps to improve the security of the Optimism ecosystem. Slither has 90+ detectors, and works on both Solidity and Vyper. In addition it provides printers, helping to review quickly features of contracts. It's python API can also be used to leverage its inbuilt analysis for custom needs. Slither can directly be run on a contract deployed on optimism, with slither optim:0x..ADDRESS

Slither

Security, testing & formal verification

Slither

Security · Static analysis · Solidity · Vyper · Continuous integration

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Chimera

Security, testing & formal verification

Chimera

Foundry · Solidity · Code coverage · Test automation · VSCode extension

Applications

Showing (19)

ERCx: Token Test Library

Foundry · Security · ERC-721 · Runtime verification

K Semantics of the Ethereum Virtual Machine (EVM)

Security · Education · Analytics · Formal verification · Symbolic execution · Debugging tools · Runtime verification · Vyper

Crytic-Properties

Security · ERC-721 · Fuzz testing · Solidity

Medusa

Security · Governance · Analytics · Fuzz testing

Slither

Security · Static analysis · Solidity · Vyper · Continuous integration

Verifereum

Security · Education · Formal verification

Titanoboa

Vyper · Debugging tools

solidity-coverage

Hardhat · Analytics · Code coverage · Solidity · Test automation

blocksmith.js

CLI · Foundry · Cross-chain · Contract deployment

Chimera

Foundry · Solidity · Code coverage · Test automation · VSCode extension

Synpress

Frontend · Continuous integration · Performance optimization · Debugging tools

Simbolik - Solidity Debugger

Security · Education · Symbolic execution · VSCode extension · Runtime verification · Formal verification

bulloak

CLI · Solidity · Code quality · Code analysis · Test automation · Solidity development · Code coverage

Ackee

Education · Security · Solidity · Static analysis · Contract deployment · Proxy contracts

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Education · Governance · Formal verification · Solidity · Runtime verification · Contract deployment · Static analysis

Act

Education · Analytics · Formal verification · Symbolic execution

Wallet Test Framework

Testing · Wallet · User experience · Developer experience · Security

hax

Formal verification

Trail of Bits Skills Marketplace

Security · Testing · page-developers-tools-tag-agent-skills

Other application categories

Cross-chain & interoperability

Tools that enable messaging, asset transfers, and shared state across Ethereum mainnet, rollups, and other blockchains.

Transaction & wallet infrastructure

Infrastructure for building, signing, sending, simulating, and managing Ethereum transactions and wallets.

Data, analytics & tracing

Indexing, querying, analytics, and tracing tools for onchain data, execution, and network activity.

Education & community resources

Learning materials, documentation, tutorials, and community platforms for Ethereum builders.

Client libraries & SDKs (front-end)

Language specific libraries and SDKs for interacting with Ethereum nodes, contracts, and protocols.

Smart contract development & toolchains

Frameworks and tools for writing, testing, deploying, and upgrading smart contracts.