sandmark.obfuscate.loop.dfa
Class PrereqDFA

java.lang.Object
  |
  +--sandmark.obfuscate.loop.dfa.DFA
        |
        +--sandmark.obfuscate.loop.dfa.PrereqDFA

public class PrereqDFA

extends DFA

PrereqDFA.java Created: Mon Sep 9 14:13:30 2002

Author:

Kelly T Heffner

Field Summary

Fields inherited from class sandmark.obfuscate.loop.dfa.DFA

myEdges, myStartState, myStates, rangeMap, stateMap

Constructor Summary

PrereqDFA(Algorithm alg1, RequisiteProperty prop, Algorithm[] allAlgs, ApplicationObject[] allObjects)
Creates a DFA modeling alg1 prerequiring property prop.

Method Summary

protected boolean	isLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList r_t)
protected boolean	isNonLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList s_qp, java.util.ArrayList r_t)

Methods inherited from class sandmark.obfuscate.loop.dfa.DFA

createDFA, dotInFile, getAlphabet, getNodeRangeMap, getPowerset, getStartState, hasProp, reassignWeights, toDot, trimDeadStates, trimUnreachable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrereqDFA

public PrereqDFA(Algorithm alg1,
                 RequisiteProperty prop,
                 Algorithm[] allAlgs,
                 ApplicationObject[] allObjects)

Creates a DFA modeling alg1 prerequiring property prop.

Parameters:

alg1 - the algorithm with a prerequisite

prop - the property that alg1 prerequires

allAlgs - all of the obfuscation algorithms

allObjects - all of the application objects

Method Detail

isNonLoopEdge

protected boolean isNonLoopEdge(Algorithm alg1,
                                Algorithm a,
                                ApplicationObject t,
                                RequisiteProperty prop,
                                java.util.ArrayList s_q,
                                java.util.ArrayList s_qp,
                                java.util.ArrayList r_t)

Overrides:

isNonLoopEdge in class DFA

isLoopEdge

protected boolean isLoopEdge(Algorithm alg1,
                             Algorithm a,
                             ApplicationObject t,
                             RequisiteProperty prop,
                             java.util.ArrayList s_q,
                             java.util.ArrayList r_t)

Overrides:

isLoopEdge in class DFA