2022-10-07学术活动预告

学术活动

报告题目

【论文阅读】Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths

【论文来源】USENIX2022

报告人：徐路凯

符号执行不能很好的应用于状态机(state machine)程序的路径求解，因为状态机没有统一的实现标准。作者用特定变量(状态变量)表示程序状态，发现很多程序当中的状态变量依赖于程序的输入，且该状态变量被用做分支判断变量。基于此发现，作者在angr的基础上实现了ferry。ferry首先识别程序中的状态变量，然后利用状态变量辅助符号执行，结果表明ferry应用于有状态机的程序时，效果比angr和KLEE都要好。

时  间：2022.10.7

会议地点：天河楼213会议室