repos
16
ecosystems
6
languages
4
commits
1,177
─── top repos · by commits
─── repositories
16 totalStatic Analyzer for Solidity and Vyper
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Static Analyzer for Starknet smart contracts
Abstraction layer for smart contract build systems
StarkNet smart contract fuzzer
Ethereum Virtual Machine (EVM) disassembler and assembler
Static Analyzer for Solidity
Guidelines and training material to write secure smart contracts
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Pre-built security properties for common Ethereum operations
Primitive Replicating Market Maker smart contracts
Guidelines and training material to write secure smart contracts
Publications from Trail of Bits
─── peer developers
─── ecosystems
─── languages
- Python10
- Solidity3
- Cairo1
- Go1
─── subscriber view
Unlock the full view of smonicas
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.