Git-Mirrors/blockchains-security-toolkit
1
0
Fork 0
mirror of https://github.com/autistic-symposium/blockchains-security-toolkit.git synced 2025-05-02 14:56:16 -04:00
Code Issues Projects Releases Packages Wiki Activity

tutorial to use echidna to automatically test smart contracts

Browse source
This commit is contained in:
autistic-symposium-helper 2024-11-07 14:03:33 +07:00 • committed by GitHub
parent 0d4c03f898
commit d230a58db0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
hacking_tools/dynamic_analysis/README.md
View file

@ -7,6 +7,7 @@
<br>
* fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
* **[tutorial to use echidna to automatically test smart contracts](https://secure-contracts.com/program-analysis/echidna/index.html)**
<br>