Skip to content

Commit 246b5b3

Browse files
committed
Add medusa and trailOfBits's security guide
1 parent 1f05a5c commit 246b5b3

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

readme.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,13 +64,15 @@ A curated list of carefully selected Solidity resources, tools, tutorials, and b
6464
- [Smart Contract Security Verification Standard](https://securing.github.io/SCSVS/) - Security checklist
6565
- [EEA EthTrust Security Levels Specification](https://entethalliance.org/specs/ethtrust-sl/) - Smart contract security certification requirements
6666
- [Smart Contract Security Field Guide](https://scsfg.io/) - Best practices and vulnerabilities resource
67+
- [Building Secure Smart Contracts](https://github.com/crytic/building-secure-contracts) - Security guidelines & training by Trail of Bits
6768

6869
## Security Analysis Tools
6970

7071
- [Slither](https://github.com/crytic/slither) - Static analysis framework for Solidity
7172
- [Solhint](https://github.com/protofire/solhint) - Solidity linter for security and style guide validations
7273
- [Surya](https://github.com/ConsenSys/surya) - Utility for smart contract systems analysis
7374
- [Echidna](https://github.com/crytic/echidna) - Property-based fuzzer for smart contracts
75+
- [Medusa](https://github.com/crytic/medusa) - Parallel fuzzing engine for smart contracts with advanced techniques
7476
- [Certora Prover](https://www.certora.com/) - Formal verification for smart contracts
7577
- [Diligence Fuzzing](https://consensys.io/diligence/fuzzing/) - Advanced smart contract fuzzing tool
7678
- [Olympix Static Analyzer](https://www.olympix.ai/free-static-analyzer) - Free Solidity static analysis tool

0 commit comments

Comments
 (0)