文章 0 浏览 0
http://klee.llvm.org/ 是一个程序分析工具，通过符号执行和约束求解来工作，找到可能导致程序崩溃的输入，并将其作为测试用例输出。这是一项极其令人…
文章 0 评论 0
接受
