public BytecodeEGWalker(BehaviorCache behaviorCache, SemanticModel semanticModel){ this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; checkerDispatcher = new CheckerDispatcher(this, Lists.newArrayList( new BytecodeSECheck.NullnessCheck(), new BytecodeSECheck.ZeronessCheck())); constraintManager = new ConstraintManager(); explodedGraph = new ExplodedGraph(); workList = new LinkedList<>(); endOfExecutionPath = new LinkedHashSet<>(); }
public BytecodeEGWalker(BehaviorCache behaviorCache, SemanticModel semanticModel){ this.behaviorCache = behaviorCache; this.semanticModel = semanticModel; checkerDispatcher = new CheckerDispatcher(this, Lists.newArrayList( new BytecodeSECheck.NullnessCheck(), new BytecodeSECheck.ZeronessCheck())); constraintManager = new ConstraintManager(); explodedGraph = new ExplodedGraph(); workList = new LinkedList<>(); endOfExecutionPath = new LinkedHashSet<>(); }
checkerDispatcher.init(tree, cfg); liveVariables = LiveVariables.analyze(cfg); explodedGraph = new ExplodedGraph(); methodTree = tree; constraintManager = new ConstraintManager();
checkerDispatcher.init(tree, cfg); liveVariables = LiveVariables.analyze(cfg); explodedGraph = new ExplodedGraph(); methodTree = tree; constraintManager = new ConstraintManager();
CFG cfg = CFG.build(tree); liveVariables = LiveVariables.analyze(cfg); explodedGraph = new ExplodedGraph(); methodTree = tree; constraintManager = new ConstraintManager();