如何创建针对特定分支的测试用例？

Question

我尝试使用 klee 进行“动态符号执行”。

如何创建针对特定分支的测试用例？

int a = 0;
klee_make_symbolic(&a, sizeof(a), "a");
if (a == 0) 
    ... // I want to touch only this branch
else if (a > 0)
    ...
else
    ...

是否有任何选项可以创建指定的分支？

我不想制作所有测试用例。

Answer 1

将 assert(0); 语句插入您感兴趣的分支，然后使用参数 -exit-on-error-type=Assert 运行 klee。

KLEE 将退出并为您检测的路径生成一个测试用例。这是我想出的最简单的方法。