小组研究成果被ACM会议 PLDI 2022接收


清华大学软件系统安全保障小组研究成果论文 “Odin: On-Demand Instrumentation with On-the-Fly Recompilation” 被第 43 届 ACM 程序语言设计与实现会议 (PLDI 2022) 条件接收。该论文针对模糊测试中插桩的执行效率和正确性不能兼顾的挑战,提出了基于在线重编译的按需插桩框架。为了保证插桩正确性,工作将插桩步骤提前,从而避免编译器优化影响模糊测试的关键语义;为了提升执行效率,工作利用运行时的反馈信息动态调整插桩策略。出于性能方面的考虑,工作在模糊测试开始前首先将程序分割成小的代码片段。在模糊测试期间,当插桩需求发生变化时,工作定位到需要修改的代码片段,然后对这些代码片段进行重插桩、重优化和重编译。在覆盖率收集的应用场景下,该插桩框架的覆盖率收集速度比 LLVM SanitizerCoverage 快 3 倍,比 DynamoRIO 快 17 倍。该工作由博士生王明哲、梁杰和硕士生周炽金、吴志镛等人共同参与完成。

ACM SIGPLAN Conference on Programming Language Design & Implementation (PLDI) 是程序语言和编译技术领域的顶级会议,涵盖设计、实现、理论、应用和性能等领域。PLDI 是 CCF 推荐 A 类会议,是清华大学计算机学科推荐 A 类会议,也是 CORE 计算机科学会议排名中推荐的 A* 类会议。