Does the function “saber -dfree” support multiple files?

[Ryuanxue]

Hi, thanks for such a useful tool. I'm using the tool to check double free bug, and when I try to link multiple source files with "llvm-link " then check with "saber -dfree ", I can't get the correct result. May I ask if the function "saber dfree"does not support multiple files? Looking forward for your response! thanks.

[yuleisui]

Current not. You can use wllvm to link the bcs before SVF's analysis