Static analysis.md

23 - Static analysis

Static analysis is a technique of analyzing program properties without actually executing the program. 

1. This is in contrast to software testing where programs are actually executed/run with different inputs
2. For smart contracts, static analysis can be performed on the Solidity code or on the EVM bytecode. Slither performs static analysis at the Solidity level while Mythril analyzes EVM bytecode.
3. Static analysis typically is a combination of control flow and data flow analyses

---

Slide Screenshot

---

Slide Text

• W/O Program Execution
• Solidity/EVM
• Control+Data Flow
• E.g.: Slither, Maru

---

References

• Youtube Reference

---

Tags