SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

Questions about warning messages

Open HowToNamene opened this issue 2 years ago • 2 comments

Hi， I ran the MemoryLeak with two cases, but got two same warning messages. The cases and their warning messages are as follows: Case1： image Warning Message1: image Case2: image Warning Message2: image Could you please tell me what the warning message indicate and why they are same?

HowToNamene avatar Jul 19 '22 07:07 HowToNamene

Hi @HowToNamene,

The current saber does not distinguish between true/false branches because of the solver (CUDD). We are replacing CUDD with Z3, and saber will support this feature in the future :-)

Kind regards

jumormt avatar Jul 22 '22 09:07 jumormt

Try again with the latest SVF. This patch https://github.com/SVF-tools/SVF/commit/b380f46b9621123baf30f2482d411868aa62f584 should fix your issue @HowToNamene

yuleisui avatar Jul 23 '22 00:07 yuleisui