【学术报告】从Solidity智能合约字节码中恢复变量和类型
报告题目:从Solidity智能合约字节码中恢复变量和类型报 告 人:宋巍报告时间:5月9日11:00-12:00报告地点:计算机学院A501摘要: 从Solidity字节码中恢复变量及其类型是智能合约分析和审计中的一项关键但极具挑战性的任务。最先进的智能合约反编译器在变量识别和类型恢复方面存在显著不足。为此,我们提出了VarLifter,致力于精确恢复变量及其类型。VarLifter将数据区域的每个读取或写入字段解释为至少一个潜在变量,在丢弃错误...