Dear Sooters, I think I found a bug in soot.jimple.toolkits.callgraph.TopologicalOrderer. It does not consider reachable, but unconnected methods. Obviously, methods can only be both if we have custom entry points. Here is the problematic code: