Uses of Package
org.sonar.java.se
-
Classes in org.sonar.java.se used by org.sonar.java.bytecode.se Class Description ExplodedGraph.Node ProgramState -
Classes in org.sonar.java.se used by org.sonar.java.model Class Description SymbolicExecutionMode -
Classes in org.sonar.java.se used by org.sonar.java.se Class Description AlwaysTrueOrFalseExpressionCollector CheckerContext ExplodedGraph.Edge ExplodedGraph.Node ExplodedGraphWalker Flow Flow.Builder LearnedAssociation LearnedConstraint Pair ProgramPoint ProgramState ProgramState.Pop ProgramState.SymbolicValueSymbol This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.SymbolicExecutionMode -
Classes in org.sonar.java.se used by org.sonar.java.se.checks Class Description CheckerContext Flow ProgramState -
Classes in org.sonar.java.se used by org.sonar.java.se.checks.debug Class Description CheckerContext ProgramState -
Classes in org.sonar.java.se used by org.sonar.java.se.constraint Class Description Pair ProgramState ProgramState.SymbolicValueSymbol This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.SymbolicValueFactory -
Classes in org.sonar.java.se used by org.sonar.java.se.symbolicvalues Class Description ProgramState ProgramState.SymbolicValueSymbol This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value. -
Classes in org.sonar.java.se used by org.sonar.java.se.xproc Class Description ExplodedGraph.Node Flow ProgramState SymbolicExecutionVisitor