Infinity Loop Problem

[StepanGavrilov]

Hello!

I have an infinity loop in this forward_interprocedural_fixpoint.rs in lines 161-163

when try to analyzer my example.

libsqlite.so.zip

[Enkelmann]

This should be an issue (since it is probably a bug in the cwe_checker), so I opened issue #398 for it. Locking this discussion, we can move all further comments on it to issue #398.