saber -leak memory report problem

[jiejiaodedengdai]

我刚开始使用SVF里面的saber工具 用以测试juliet数据集其中的代码 采用如下命令 clang -O0 -g -emit-llvm -c CWE401_Memory_Leak__char_calloc_01.c -o 2.bc -I "/home/jiejie/Desktop/juliet/C/testcasesupport" 得到2.bc文件后 我发现用saber工具测试并未得到报错

当我修改源代码CWE401_Memory_Leak__char_calloc_01.c 这个文件的库但不改变代码逻辑时却可以的到报错
如下命令 clang -O0 -g -emit-llvm -c CWE401_Memory_Leak__char_calloc_01._change.c -o 2.bc

用saber工具测试如下

下面的两份代码 其中一份需要juliet里面的库 另一份不需要
CWE401_Memory_Leak__char_calloc_01.zip

请问一下这个差异出现的原因是什么？ 我该怎么测试

[jiejiaodedengdai]

已解决 采用clang -S -g -D INCLUDEMAIN -emit-llvm -O0 CWE401_Memory_Leak__char_calloc_01.c -o 11.bc -I/home/jiejie/Desktop/juliet/C/testcasesupport -DOMITGOOD 命令即可 saber需要main函数作为入口