静态测试
文章平均质量分 96
geek_Chen01
Fake it until make it.
\n
Gitee: https://gitee.com/geek-chenys/learning-resources-in-cs (CS课程丛资料)
展开
-
静态测试---基于WorkList的活跃变量分析
函数的目标是将所有 Inst 的后继指令的输出位向量进行合并(join操作),得到 Inst 的输入位向量。代码的主要部分是针对不同类型的指令(二元运算符、加载指令、存储指令、内存分配指令、比较指令)的分支处理。合并操作是将所有后继指令的输出位向量合并到当前指令的输入位向量中,表示这些变量在 Inst 执行之前也是活跃的。文件是用于静态链接的库文件。这个成员函数接受三个参数:Inst 是当前正在处理的指令,Pre 是指令执行前的位向量(即输入位向量),Post 是指令执行后的位向量(即输出位向量)。原创 2024-05-24 09:07:51 · 1284 阅读 · 3 评论 -
自动生成测试用例?--带你走进Klee之路
符号执行(Symbolic Execution) 属于静态分析的一种,e.g.对于函数a = malloc(), 符号执行会赋值一个符号$a 来代表 a的值,通过流程图模拟执行,而非实际执行.原创 2024-05-10 09:34:46 · 1032 阅读 · 0 评论