lisa-analyzer/evm-lisa

EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

语言：Solidity · GitHub 星标：39 · Fork：4

话题：abstract-interpretation · cfg · control-flow-graph · ethereum · evm-bytecode · smart-contracts · static-analysis

在 GitHub 上查看原仓库