入口点分析器

系统地识别智能合约代码库中所有状态更改的入口点，以指导安全审计。