SSA

用于静态分析 Solidity 程序的一组工具

1. 安装

将以下内容添加到 Cargo.toml

ssa = "0.1.2"

2. 使用

我们有一个示例在 main.rs

lib.rs:

ssa

ssa 是一组用于静态分析 Solidity 源代码的工具