Examples with ProgramPoint org.sonar.java.se.ProgramPoint used on opensource projects

Example 11 with ProgramPoint

use of org.sonar.java.se.ProgramPoint in project sonar-java by SonarSource.

the class BytecodeSECheckTest method execute.

private static ProgramState execute(Instruction instruction, ProgramState startingState) {
    walker.workList.clear();
    ProgramPoint programPoint = mock(ProgramPoint.class);
    when(programPoint.next()).thenReturn(programPoint);
    ExplodedGraph.Node startingNode = walker.explodedGraph.node(programPoint, startingState);
    walker.setNode(startingNode);
    walker.executeInstruction(instruction);
    if (walker.workList.isEmpty()) {
        return null;
    }
    return walker.workList.getFirst().programState;
}

Example 12 with ProgramPoint

use of org.sonar.java.se.ProgramPoint in project sonar-java by SonarSource.

the class BytecodeEGWalker method enqueue.

void enqueue(ProgramPoint pp, ProgramState programState) {
    int nbOfExecution = programState.numberOfTimeVisited(pp);
    if (nbOfExecution > MAX_EXEC_PROGRAM_POINT) {
        return;
    }
    ProgramState ps = programState.visitedPoint(pp, nbOfExecution + 1);
    ExplodedGraph.Node cachedNode = explodedGraph.node(pp, ps);
    cachedNode.addParent(node, null);
    if (cachedNode.isNew()) {
        workList.addFirst(cachedNode);
    }
}

Example 13 with ProgramPoint

use of org.sonar.java.se.ProgramPoint in project sonar-java by SonarSource.

the class BytecodeEGWalker method enqueueExceptionHandlers.

private void enqueueExceptionHandlers(Type exceptionType, ProgramState ps) {
    List<BytecodeCFG.Block> blocksCatchingException = programPosition.block.successors().stream().map(b -> (BytecodeCFG.Block) b).filter(BytecodeCFG.Block::isCatchBlock).filter(b -> isExceptionHandledByBlock(exceptionType, b)).collect(Collectors.toList());
    if (!blocksCatchingException.isEmpty()) {
        blocksCatchingException.forEach(b -> enqueue(new ProgramPoint(b), ps));
        if (isCatchExhaustive(exceptionType, blocksCatchingException)) {
            return;
        }
    }
    // exception was not handled or was handled only partially, enqueue exit block with exceptional SV
    Preconditions.checkState(ps.peekValue() instanceof SymbolicValue.ExceptionalSymbolicValue, "Exception shall be on top of the stack");
    ps.storeExitValue();
    enqueue(new ProgramPoint(exitBlock), ps);
}

Example 14 with ProgramPoint

use of org.sonar.java.se.ProgramPoint in project sonar-java by SonarSource.

the class BytecodeEGWalker method execute.

private void execute(String signature, SquidClassLoader classLoader) {
    BytecodeCFGMethodVisitor cfgVisitor = new BytecodeCFGMethodVisitor();
    MethodLookup lookup = MethodLookup.lookup(signature, classLoader, cfgVisitor);
    if (lookup == null) {
        LOG.debug("Method body not found: %s", signature);
        return;
    }
    methodBehavior.setDeclaredExceptions(lookup.declaredExceptions);
    methodBehavior.setVarArgs(lookup.isVarArgs);
    BytecodeCFG bytecodeCFG = cfgVisitor.getCfg();
    if (bytecodeCFG == null) {
        return;
    }
    exitBlock = bytecodeCFG.exitBlock();
    steps = 0;
    for (ProgramState startingState : startingStates(signature, ProgramState.EMPTY_STATE, lookup.isStatic)) {
        enqueue(new ProgramPoint(bytecodeCFG.entry()), startingState);
    }
    while (!workList.isEmpty()) {
        steps++;
        if (steps > maxSteps()) {
            throw new ExplodedGraphWalker.MaximumStepsReachedException("Too many steps resolving " + methodBehavior.signature());
        }
        // LIFO:
        setNode(workList.removeFirst());
        if (programPosition.block.successors().isEmpty()) {
            endOfExecutionPath.add(node);
            continue;
        }
        if (programPosition.i < programPosition.block.elements().size()) {
            // process block element
            executeInstruction((Instruction) programPosition.block.elements().get(programPosition.i));
        } else {
            // process block exit, which is unconditional jump such as goto-statement or return-statement
            handleBlockExit(programPosition);
        }
    }
    handleEndOfExecutionPath();
    executeCheckEndOfExecution();
    methodBehavior.completed();
    // Cleanup:
    workList = null;
    node = null;
    programState = null;
    constraintManager = null;
}