Hi, it seems that `killAllFlows()` does not kill facts. https://github.com/secure-software-engineering/phasar/blob/5ddab3f2ebfb7b289657937928ba45eb95cbf9fe/include/phasar/DataFlow/IfdsIde/FlowFunctions.h#L427 The old deprecated version is OK: https://github.com/secure-software-engineering/phasar/blob/5ddab3f2ebfb7b289657937928ba45eb95cbf9fe/include/phasar/DataFlow/IfdsIde/FlowFunctions.h#L1123 Is this a bug?
Hi, it seems that
killAllFlows()does not kill facts.phasar/include/phasar/DataFlow/IfdsIde/FlowFunctions.h
Line 427 in 5ddab3f
The old deprecated version is OK:
phasar/include/phasar/DataFlow/IfdsIde/FlowFunctions.h
Line 1123 in 5ddab3f
Is this a bug?