2013-12-24 S2E: Selective Symbolic Execution
提交作者: 路人甲 所属分类: 漏洞分析, 其它
S2E is a platform for analyzing the properties and behavior of software systems.
简评
