secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.02k stars 292 forks source link

Streamline handling of type hierarchy provided by taint wrappers #612

Closed timll closed 1 year ago

timll commented 1 year ago

Enables taint wrappers to register PreAnalysisHandlers by themselves, for example, to inject their type hierarchy knowledge into Soot's hierarchy. This allows to us to remove two calls to the SummaryTaintWrapper within the flow functions in favor of one PreAnalysisHandler before the analysis. Further, it prevents a NPE inside Soot when the SummaryTaintWrapper tried to query the hierarchy for a class only itself knew exists.