- 博客(3)
- 收藏
- 关注
RSS订阅原创 FSE‘24 Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-P
这篇文章在PLDI'02 ESP Propety Simulation的基础上利用程序切片技术，显著的降低程序的开销，提升分析的效率。
2025-05-26 20:40:04
914
原创 PLDI‘02 ESP: Path-Sensitive Program Verification in Polynomial Time
这篇文章发表在PLDI'02, 作者的相关工作分析了1.4 millions LOC (微软word 97)。核心观点: 如果分支对程序的属性状态不产生影响，那么两分支的执行状态就可以在交汇处按照经典数据流分析的方式进行合并，否则就按照符号执行的方式分叉进行分析。(遵循程序员编程习惯的某种一致性观察)
2025-05-26 11:48:12
910
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人