mirror of
https://github.com/autistic-symposium/blockchains-security-toolkit.git
synced 2025-10-12 13:20:40 -04:00
clean up
This commit is contained in:
parent
a839a93af7
commit
c76ff3fc88
52 changed files with 166 additions and 1528 deletions
23
static_analysis/README.md
Normal file
23
static_analysis/README.md
Normal file
|
@ -0,0 +1,23 @@
|
|||
## 🧋 static analysis tools
|
||||
|
||||
<br>
|
||||
|
||||
### [mythril](https://github.com/ConsenSys/mythril)
|
||||
|
||||
* EVM bytecode assessment tool for detecting contract vulnerabilities using taint analysis, concolic analysis, and control flow checking.
|
||||
|
||||
<br>
|
||||
|
||||
### [slither](https://github.com/crytic/slither)
|
||||
|
||||
* Python-based Solidity static analysis framework for finding vulnerabilities, enhancing code comprehension, and writing custom analyses for smart contracts.
|
||||
|
||||
<br>
|
||||
|
||||
### [rattle](https://github.com/crytic/rattle)
|
||||
|
||||
* EVM bytecode static analysis framework designed to work on deployed smart contracts.
|
||||
|
||||
|
||||
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue