GitPlanet
All Git Users → crytic

16 open source projects by crytic

[ Open user page on Github ]
1. Solc Select
A script to quickly switch between Solidity compiler versions
✭ 217
pythonsolidityethereum
2. Blockchain Security Contacts
Directory of security contacts for blockchain companies
✭ 186
securityblockchainethereumemaildirectory
3. Ida Evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
✭ 185
pythonidaida-proevm
4. Building Secure Contracts
Guidelines and training material to write secure smart contracts
✭ 180
solidity
5. Rattle
evm binary static analysis
✭ 152
pythonethereumreverse-engineeringevm
6. Eth Security Toolbox
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
✭ 103
dockerfile
7. Etheno
Simplify Ethereum security analysis and testing
✭ 77
pythonsolidityethereumtrufflesymbolic-execution
8. Slither
Static Analyzer for Solidity
✭ 759
pythonsolidityethereumstatic-analysis
9. Not So Smart Contracts
Examples of Solidity security issues
✭ 719
solidityethereumvulnerabilities
10. Echidna
Ethereum smart contract fuzzer
✭ 571
haskellsoliditysecuritytestingethereumsmart-contractsfuzzerevm
11. Awesome Ethereum Security
A curated list of awesome Ethereum security references
✭ 345
soliditysecurityethereumevm
12. Evm Opcodes
Ethereum opcodes and instruction reference
✭ 344
ethereumevm
13. Ethersplay
EVM dissassembler
✭ 304
pythonethereumdisassemblerevm
14. pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
✭ 206
pythonethereumevmdissassembler
15. crytic-compile
Abstraction layer for smart contract build systems
✭ 86
pythonshell
16. evm cfg builder
EVM CFG recovery
✭ 83
pythonsolidityethereumcfgevmreversing
1-16 of 16 user projects