KLEE如何计算分支的数量
我正在使用Klee2.9，并试图从Klee Generates统计文件中获取分支信息。我输入了一个if-else语句程序，klee报告NumBranches为8 测试中的代码如下所示KLEE如何计算分支的数量,klee,Klee,我正在使用Klee2.9，并试图从Klee Generates统计文件中获取分支信息。我输入了一个if-else语句程序，klee报告NumBranches为8 测试中的代码如下所示 #include <stdio.h> #include <stdbool.h> int main(){ int a; int b; klee_make_symbolic(&a,sizeof(a),"a"); klee_make_symbolic(&a
#include <stdio.h>
#include <stdbool.h>
int main(){
int a;
int b;
klee_make_symbolic(&a,sizeof(a),"a");
klee_make_symbolic(&b,sizeof(b),"b");
if (a / b == 1) {
printf("a==b\n");
}
else {
printf("a!=b\n");
}
return 0;
}
#包括
#包括
int main（）{
INTA；
int b；
klee_make_symbolic（&a，尺寸为（a），“a”）；
klee_make_符号（&b，尺寸（b），“b”）；
如果（a/b==1）{
printf（“a==b\n”）；
}
否则{
printf（“a！=b\n”）；
}
返回0；
}