From 3a1839440b98c267c424e63ff0d5c0a361eadd35 Mon Sep 17 00:00:00 2001 From: bt3gl <1130416+bt3gl@users.noreply.github.com> Date: Sat, 24 Sep 2022 21:38:45 -0700 Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=8B=20static=20analysis=20tools?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- static_analysis_tools/README.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 static_analysis_tools/README.md diff --git a/static_analysis_tools/README.md b/static_analysis_tools/README.md new file mode 100644 index 0000000..b8d4202 --- /dev/null +++ b/static_analysis_tools/README.md @@ -0,0 +1,23 @@ +## 🧋 static analysis tools + +
+ +### [mythril](https://github.com/ConsenSys/mythril) + +* EVM bytecode assessment tool for detecting contract vulnerabilities using taint analysis, concolic analysis, and control flow checking. + +
+ +### [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. + +
+ +### [rattle](https://github.com/crytic/rattle) + +* EVM bytecode static analysis framework designed to work on deployed smart contracts. + + + +