C# 클래스 PHPAnalysis.Analysis.CFG.TaintAnalysis

상속: ICFGAnalysis

파일 보기 프로젝트 열기: jtvn/Eir-CTLLTL 1 사용 예제들

공개 메소드들

메소드	설명
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