C# 클래스 PHPAnalysis.Analysis.CFG.Traversal.CFGTraverser

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

공개 메소드들

메소드	설명
Analyze ( EdgeTag>.IBidirectionalGraph graph ) : void
CFGTraverser ( ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist worklist ) : System.Collections.Generic

비공개 메소드들

메소드	설명
AddStartingBlocksToWorklist ( EdgeTag>.IBidirectionalGraph graph ) : void
Initialize ( EdgeTag>.IBidirectionalGraph graph ) : void
WorklistTraversal ( EdgeTag>.IBidirectionalGraph graph ) : void
WorklistTraversal2 ( EdgeTag>.IBidirectionalGraph graph ) : void

메소드 상세

Analyze() 공개 메소드

public Analyze ( EdgeTag>.IBidirectionalGraph graph ) : void
graph	EdgeTag>.IBidirectionalGraph
리턴	void

CFGTraverser() 공개 메소드

public CFGTraverser ( ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist worklist ) : System.Collections.Generic
traversalStrategy	ITraversalTechnique
analysis	ICFGAnalysis
worklist	IWorklist
리턴	System.Collections.Generic