2024年5月10日
自动生成测试用例?--带你走进Klee之路
摘要： 符号执行(Symbolic Execution) 属于静态分析的一种，e.g.对于函数a = malloc(), 符号执行会赋值一个符号$a 来代表 a的值,通过流程图模拟执行,而非实际执行. 一 、What is Klee? KLEE是一款开源的自动软件测试工具，基于LLVM编译底层基础，能够自动 阅读全文
posted @ 2024-05-10 09:34 geekChen01 阅读(0) 评论(0) 推荐(0)