File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ Brought to you by [Trail of Bits](https://www.trailofbits.com/), this repository
2929 - [ Solana] ( ./not-so-smart-contracts/solana )
3030- [ Program Analysis] ( ./program-analysis ) : Using automated tools to secure contracts
3131 - [ Echidna] ( ./program-analysis/echidna ) : A fuzzer that checks your contract's properties
32- - [ Medusa] ( . /program-analysis/medusa/docs/src) : A next-gen fuzzer that checks your contract's properties
32+ - [ Medusa] ( https://secure-contracts.com /program-analysis/medusa/docs/src/index.html ) : A next-gen fuzzer that checks your contract's properties
3333 - [ Slither] ( ./program-analysis/slither ) : A static analyzer with both CLI and scriptable interfaces
3434 - [ Manticore] ( ./program-analysis/manticore ) : A symbolic execution engine that proves the correctness of properties
3535 - For each tool, this training material provides:
You can’t perform that action at this time.
0 commit comments