mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-08-06 05:14:32 -04:00
Update README.md
This commit is contained in:
parent
799015cbd4
commit
64fbd9f976
1 changed files with 1 additions and 0 deletions
|
@ -94,3 +94,4 @@
|
||||||
* [Smart contract fuzzer](https://github.com/crytic/echidna)
|
* [Smart contract fuzzer](https://github.com/crytic/echidna)
|
||||||
* [Smart contract code analyzer](https://github.com/crytic/slither)
|
* [Smart contract code analyzer](https://github.com/crytic/slither)
|
||||||
* [Another smart contract code analyzer](https://github.com/ConsenSys/mythril)
|
* [Another smart contract code analyzer](https://github.com/ConsenSys/mythril)
|
||||||
|
* [Verx, smart contract verifier](http://verx.ch/)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue