I use StronglyConnectedComponents.getSuperGraph() to get the compact representation of call graph of Apache Cassandra. The call graph is generated by using Spark points-to analysis. I find that there is a large SCC in the call graph, which has more than 10K methods. However, it seems that some methods in the SCC are not reachable from each other. If I don't misunderstand, any methods are reachable from each other in the same SCC. Can anyone give me any hints about this problem?
I have a similar issue. I think it may have to do with how isForward is set in the StronglyConnectedComponents#iterate method here. I think it causes the wrong branch here to be taken when a node is backtracked to
benSepanski
commented
3 years ago
I use
StronglyConnectedComponents.getSuperGraph()to get the compact representation of call graph of Apache Cassandra. The call graph is generated by using Spark points-to analysis. I find that there is a large SCC in the call graph, which has more than 10K methods. However, it seems that some methods in the SCC are not reachable from each other. If I don't misunderstand, any methods are reachable from each other in the same SCC. Can anyone give me any hints about this problem?