Finding and Understanding Miscompilation Bugs in the Solidity Compiler
在Solidity编译器中发现并理解错误编译漏洞
专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.SE、cs.PL
AI总结 研究旨在提高Solidity编译器质量，创建SolSmith工具。通过生成有效测试程序使编译器测试更严格，发现25个错误编译漏洞。还对这些漏洞进行定性和定量分析，揭示优化编译器的陷阱，为智能合约及用户减少潜在风险。
Comments 16 pages, 7 figures, 4 tables
