mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-08-01 10:56:09 -04:00
Update README.md
This commit is contained in:
parent
4e5ed2b87a
commit
3fef34df54
1 changed files with 1 additions and 0 deletions
|
@ -162,6 +162,7 @@
|
||||||
* [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/)
|
* [Verx, smart contract verifier](http://verx.ch/)
|
||||||
|
* [Semgrep rules for smart contracts](https://github.com/Raz0r/semgrep-smart-contracts)
|
||||||
|
|
||||||
<br>
|
<br>
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue