C# Class PHPAnalysis.Analysis.CFG.TaintAnalysis

Inheritance: ICFGAnalysis

Afficher le fichier Open project: jtvn/Eir-CTLLTL Class Usage Examples

Méthodes publiques

Méthode	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

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

Method Details

Analyze() public méthode

public Analyze ( EdgeTag>.TaggedEdge edge ) : bool
edge	EdgeTag>.TaggedEdge
Résultat	bool

Analyze2() public méthode

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

Initialize() public méthode

public Initialize ( CFGBlock cfgBlock ) : void
cfgBlock	PHPAnalysis.Data.CFG.CFGBlock
Résultat	void

TaintAnalysis() public méthode

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
Résultat	System.Collections.Generic