【[89星]Erwin：一款创新的随机Solidity程序生成器，助力智能合约测试与漏洞挖掘。亮点：1. 采用分步生成策略，先生成无类型、存储位置和作用域的中间表示，再进行有界穷尽实例化，大幅缩小搜索空间；2. 支持多种语言特性调整，可灵活控制程序大小、生成模式和实例化上限；3. 集成针对Solidity、Solang、Solar和Slither的自动化测试工作流，已发现多个编译器漏洞】
'Erwin is an academic attempt on introducing bounded exhaustive instantiation in random program generator to mitigate opportunism.'
GitHub: github.com/haoyang9804/Erwin
智能合约 Solidity 随机程序生成 漏洞挖掘 人工智能 ai兴趣创作计划
