search

CROSSINGTUD / SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework
Eclipse Public License 2.0
41 stars 37 forks source link

WIP: Issue/#9 #101

Closed johspaeth closed 4 years ago

johspaeth commented 4 years ago

This PR adds the functionality to guide Boomerang by specify/annotate SootMethod signature's parameters in order to tell Boomerang how to continue propagation.

The propagation is done fully context-sensitive.