C# Class PHPAnalysis.Analysis.CFG.TaintAnalysis

Inheritance: ICFGAnalysis

Show file Open project: jtvn/Eir-CTLLTL Class Usage Examples

Public Methods

Method	Description
Analyze ( EdgeTag>.TaggedEdge edge ) : bool
Analyze2 ( CFGBlock block, EdgeTag>.IBidirectionalGraph graph ) : bool
Initialize ( CFGBlock cfgBlock ) : void
TaintAnalysis ( TaintBlockAnalyzer blockAnalyzer, ConditionTaintAnalyser condAnalyser, ImmutableVariableStorage initialTaint ) : System.Collections.Generic

Private Methods

Method	Description
AnalyzeNode ( EdgeTag>.TaggedEdge edge ) : CFGTaintInfo
AnalyzeNode2 ( CFGBlock block, EdgeTag>.IBidirectionalGraph graph ) : CFGTaintInfo
MonotonicChange ( CFGTaintInfo oldResult, CFGTaintInfo newResult ) : bool

Method Details

Analyze() public method

public Analyze ( EdgeTag>.TaggedEdge edge ) : bool
edge	EdgeTag>.TaggedEdge
return	bool

Analyze2() public method

public Analyze2 ( CFGBlock block, EdgeTag>.IBidirectionalGraph graph ) : bool
block	PHPAnalysis.Data.CFG.CFGBlock
graph	EdgeTag>.IBidirectionalGraph
return	bool

Initialize() public method

public Initialize ( CFGBlock cfgBlock ) : void
cfgBlock	PHPAnalysis.Data.CFG.CFGBlock
return	void

TaintAnalysis() public method

public TaintAnalysis ( TaintBlockAnalyzer blockAnalyzer, ConditionTaintAnalyser condAnalyser, ImmutableVariableStorage initialTaint ) : System.Collections.Generic
blockAnalyzer	PHPAnalysis.Analysis.CFG.Taint.TaintBlockAnalyzer
condAnalyser	PHPAnalysis.Analysis.CFG.Taint.ConditionTaintAnalyser
initialTaint	ImmutableVariableStorage
return	System.Collections.Generic