Package pascal.taie.analysis.pta.plugin.taint

package pascal.taie.analysis.pta.plugin.taint

Related Packages

Package	Description
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).

Class	Description
TaintAnalysis	Taint Analysis composites plugins SourceHandler, TransferHandler and SanitizerHandler to handle the logic associated with Source, TaintTransfer, and Sanitizer respectively.
TaintFlow	Each instance represents a taint flow from source to sink.