Examples of soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis

      for (SootMethod m : c.getMethods()) {
        if (!m.isConcrete())
          continue;
        context.setCurrentSootMethod(m);
        CompleteUnitGraph unitgraph = new CompleteUnitGraph(m.retrieveActiveBody());
        context.setNullness(new NullnessAnalysis(unitgraph));
        context.setStringConstants(new StringConstantAnalysis(unitgraph));
        context.setArrayConstants(new ArrayConstantAnalysis(unitgraph));
        Method method = context.getMethod(m);
        Map<Unit,StatementPair> translated = new HashMap<Unit,StatementPair>();
        for (Unit stmt : m.getActiveBody().getUnits()) {

    Method method = jt.getMethod(sootMethod);
    Body body = sootMethod.retrieveActiveBody();
    
    // use an exceptional unit graph for the nullness analysis
        ExceptionalUnitGraph exceptionalFlow = new ExceptionalUnitGraph(body);
        nullAnalysis = new NullnessAnalysis(exceptionalFlow);
        
        // prepare the reaching definitions analysis for the assertion creator
        LiveLocals liveness = new SimpleLiveLocals(exceptionalFlow);
        LocalDefs definitions = new SmartLocalDefs(exceptionalFlow, liveness);

Related Classes of soot.jimple.toolkits.annotation.nullcheck.NullnessAnalysis

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.