StaticcreateCreate a new taint analysis builder. run is unreachable on the result until at least one of add, addComposite, or addPredefined has been called on it.
Optionalanalyzer: ReadonlyFlowrAnalysisProvider<KnownParser>Add a custom taint analysis definition.
Add a composite taint analysis that combines multiple taint analyses into a product of their lattice values.
TaintAnalysisDefinition.compose to create a composite taint analysis definition.
Add a predefined taint analysis by name.
Add rules for function categories (i.e. sets of functions from BuiltInIndex fulfilling certain properties). These rules are applied to all added analyses.
Optionalhandler: TaintConditionFunction<AnyAbstractDomain>Run one or multiple taint analyses.
Add a callback hook that is invoked for each function call mapping during taint analysis.
Fluent builder class for conducting taint analyses. Please prefer using the FlowrAnalyzer.taint method to create a taint analysis. Use TaintAnalysis.create to obtain an instance; TaintAnalysis.run is only reachable after at least one of add, addComposite, or addPredefined has been called.