• S2E A Platform for In-Vivo Multi-Path Analysis of Software Systems
  • 摘要

S2E A Platform for In-Vivo Multi-Path Analysis of Software Systems

ASPLOS’11

摘要

S2E，分析软件系统的属性和行为；用于性能分析，逆向工程，用户和内核态下找Bug。

S2E基于两点：选择性符号执行，放宽执行一致性模型。