Package proguard.analysis.cpa.util

Class Summary

Class	Description
TaintAnalyzer	Helper class to analyze taints propagation in a program inter-procedurally (i.e., if the result of the invocation of a TaintSource affects a TaintSink).
TaintAnalyzer.Builder	Class to configure and build a TaintAnalyzer.
TaintAnalyzerResult	Provides results for a run of TaintAnalyzer.
TaintAnalyzerResult.TaintAnalysisResult	Results for taint analysis.
ValueAnalyzer	Helper class to analyze values (e.g., function parameters) in a program inter-procedurally.
ValueAnalyzer.Builder	Class to configure and build a ValueAnalyzer.
ValueAnalyzer.ValueAnalysisResult	Provides results for the analysis.