SandMark version 2.0


sandmark.obfuscate.boolsplitter.dtree
Class Type0Visitor

java.lang.Object
  |
  +--sandmark.obfuscate.boolsplitter.dtree.TreeVisitor
        |
        +--sandmark.obfuscate.boolsplitter.dtree.AscendVisitor
              |
              +--sandmark.obfuscate.boolsplitter.dtree.Type0Visitor

public class Type0Visitor
extends AscendVisitor

Type0Visitor searches up the tree, starting at a LocalExpr, looking for an earlier instance of the same definition of that LocalExpr in a Type 0 relation.

Author:
Thomas VanDrunen

Field Summary
(package private) static boolean DEBUG
           
(package private)  boolean found
           
 
Fields inherited from class sandmark.obfuscate.boolsplitter.dtree.AscendVisitor
defInfoMap, previous, start, useInfoMap, visited
 
Fields inherited from class sandmark.obfuscate.boolsplitter.dtree.TreeVisitor
direction, FORWARD, prune, REVERSE
 
Constructor Summary
Type0Visitor(java.util.Hashtable defInfoMap, java.util.Hashtable useInfoMap)
           
 
Method Summary
 void check(Node node)
           
 boolean search(LocalExpr start)
           
 
Methods inherited from class sandmark.obfuscate.boolsplitter.dtree.AscendVisitor
visitAddressStoreStmt, visitArithExpr, visitArrayLengthExpr, visitArrayRefExpr, visitCallExpr, visitCallMethodExpr, visitCallStaticExpr, visitCastExpr, visitCatchExpr, visitCheckExpr, visitConstantExpr, visitDefExpr, visitExpr, visitExprStmt, visitFieldExpr, visitGotoStmt, visitIfCmpStmt, visitIfZeroStmt, visitInitStmt, visitInstanceOfExpr, visitJsrStmt, visitLabelStmt, visitLocalExpr, visitMemExpr, visitMemRefExpr, visitMonitorStmt, visitNegExpr, visitNewArrayExpr, visitNewExpr, visitNewMultiArrayExpr, visitNode, visitPhiCatchStmt, visitPhiJoinStmt, visitPhiStmt, visitRCExpr, visitRetStmt, visitReturnAddressExpr, visitReturnExprStmt, visitReturnStmt, visitSCStmt, visitShiftExpr, visitSRStmt, visitStackExpr, visitStackManipStmt, visitStaticFieldExpr, visitStmt, visitStoreExpr, visitSwitchStmt, visitThrowStmt, visitTree, visitUCExpr, visitVarExpr, visitZeroCheckExpr
 
Methods inherited from class sandmark.obfuscate.boolsplitter.dtree.TreeVisitor
direction, forward, prune, reverse, setPrune, visitBlock, visitFlowGraph, visitIfStmt
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

found

boolean found

DEBUG

static boolean DEBUG
Constructor Detail

Type0Visitor

public Type0Visitor(java.util.Hashtable defInfoMap,
                    java.util.Hashtable useInfoMap)
Method Detail

search

public boolean search(LocalExpr start)

check

public void check(Node node)
Specified by:
check in class AscendVisitor

SandMark version 2.0

Mon Jun 17 12:30:47 MST 2002