TON Scanner
TON Scanner is a detection tool to find vulnerabilities inside the FunC codes. It converts the FunC codes to IR&CFG, and does static analysis to find issues.
Major Features
- Support the detection of FunC language
- Locate the defects in FunC source code
- Generate detection reports to assist in contract audits
- Support more than 10+ kinds of vulnerabilities
- Perform static program analysis:1.control flow graph 2.function call graph 3.message flow graph 4.data dependency 5.taint analysis
Architecture Design Diagram
