Why didn't Saber find the memory leak vulnerability? Is it because of the global variable?

[puzhuoliu]

This is a memory leak test case. I checked SVFG and it seems fine. Is there something wrong with my settings?

saber -leak wllvm_CWE401_Memory_Leak__int64_t_realloc_45-bad.ll

SVFG:

wllvm.pdf

ll:
wllvm_CWE401_Memory_Leak__int64_t_realloc_45-bad.ll.zip

[yuleisui]

If a locally allocated object is assigned to a global variable, Saber assumes it persists for the program’s lifetime and reports no leaks.

[puzhuoliu]

Thanks for your response. What options can I set to avoid this?