This PR adds the functionality to guide Boomerang by specify/annotate SootMethod signature's parameters in order to tell Boomerang how to propagate at certain method calls. The test cases in boomerang.guided.DemandDrivenGuidedAnalysisTest give an example on how to guide Boomerang in order to extract String constants from the code.
The propagation is done fully context-sensitive: Forward and Backward analysis take each other's context into account.
This PR adds the functionality to guide Boomerang by specify/annotate SootMethod signature's parameters in order to tell Boomerang how to propagate at certain method calls. The test cases in
boomerang.guided.DemandDrivenGuidedAnalysisTest
give an example on how to guide Boomerang in order to extract String constants from the code.The propagation is done fully context-sensitive: Forward and Backward analysis take each other's context into account.