Some questions when I run ExampleMain2

[dyd1024]

Hello, I wonder if ExampleMain2 i.e. the forwardquery of the solver computes all the reachable sites on the control flow graph for the seeds? And if I want to instantiate a data flow analysis, should I use class boomerang.guided.DemandDrivenGuidedAnalysis or class ideal.IDEALAnalysis? Thank you very much!