Package sandmark.obfuscate.boolsplitter.dcfg

Class Summary

Block	Block represents a basic block of code used in control flow graphs.
DominanceFrontier	DominanceFrontier is used to calculate the dominance frontier of each node in a control flow graph.
DominatorTree	DominatorTree finds the dominator tree of a FlowGraph.
FlowGraph	FlowGraph constructs and represents a Control Flow Graph (CFG) used for analyzing a method.
FlowGraph$1
FlowGraph$10
FlowGraph$2
FlowGraph$3
FlowGraph$4
FlowGraph$5
FlowGraph$6
FlowGraph$7
FlowGraph$8
FlowGraph$9
Handler	Handler represents a try-catch block.
ReplaceTarget	ReplaceTarget replaces the block that is the target of a JumpStmt, JsrStmt, RetStmt, GotoStmt, SwitchStmt, or IfStmt with another Block.
Subroutine	Subroutine represents a subroutine (target of a jsr instruction) in java bytecode.
VerifyCFG	VerifyCFG visits the nodes in a control flow graph and verifies that certain properties of the graph are true.
VerifyCFG$1