C# Класс PHPAnalysis.Analysis.CFG.TaintAnalysis

Наследование: ICFGAnalysis

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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

Приватные методы

Метод	Описание
AnalyzeNode ( EdgeTag>.TaggedEdge edge ) : CFGTaintInfo
AnalyzeNode2 ( CFGBlock block, EdgeTag>.IBidirectionalGraph graph ) : CFGTaintInfo
MonotonicChange ( CFGTaintInfo oldResult, CFGTaintInfo newResult ) : bool

Описание методов

Analyze() публичный Метод

public Analyze ( EdgeTag>.TaggedEdge edge ) : bool
edge	EdgeTag>.TaggedEdge
Результат	bool

Analyze2() публичный Метод

public Analyze2 ( CFGBlock block, EdgeTag>.IBidirectionalGraph graph ) : bool
block	PHPAnalysis.Data.CFG.CFGBlock
graph	EdgeTag>.IBidirectionalGraph
Результат	bool

Initialize() публичный Метод

public Initialize ( CFGBlock cfgBlock ) : void
cfgBlock	PHPAnalysis.Data.CFG.CFGBlock
Результат	void

TaintAnalysis() публичный Метод

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
Результат	System.Collections.Generic