项目作者: S2E

项目描述 :
S2E: A platform for multi-path program analysis with selective symbolic execution.
高级语言: C++
项目地址: git://github.com/S2E/s2e.git
创建时间: 2020-01-07T21:32:41Z
项目社区:https://github.com/S2E/s2e

开源协议:Other

下载