Assertion Failure for WPA in Andersen::heapAllocaorViaIndCall

[dylanjwolff]

I'm getting an assertion failure when running:

wpa -ander -svfg -dump-vfg -stat=false labeled.bc

namely:

wpa: /SVF/svf/include/Graphs/GenericGraph.h:409: SVF::GenericGraph<NodeTy, EdgeTy>::NodeType* SVF::GenericGraph<NodeTy, EdgeTy>::getGNode(SVF::NodeID) const [with NodeTy = SVF::ConstraintNode; EdgeTy = SVF::ConstraintEdge; NodeType = SVF::ConstraintNode; SVF::NodeID = unsigned int]: Assertion `it != IDToNodeMap.end() && "Node not found!"' failed.
Aborted (core dumped)

The .bc file is attached --it's a stress test for sqlite3. It was compiled with wllvm -g (clang-16).

I am using the latest release of SVF (0eae653).

Looks like one of the nodes passed in to addCopyEdge isn't actually in the graph.

labeled.bc.tar.gz

[yuleisui]

Thanks for reporting this. The issue is caused by the optimisation method ConstraintGraph::clearSolitaries(), which removes the return node from an indirect callsite, even though the node is not connected to any other nodes when the constraint graph is initially built. I have just fixed it here fc185be.

[dylanjwolff]

Thanks! All fixed on my end as well!