2013-12-24 The KLEE Symbolic Virtual Machine
提交作者: 路人甲 所属分类: 漏洞分析, 其它
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
简评
