Certora/wala-solidity

WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.

语言：Java · GitHub 星标：19 · Fork：0

话题：blockchain · certora · ethereum · rounding · solidity · static-analysis

在 GitHub 上查看原仓库