@ParametersAreNonnullByDefault
Package org.sonar.java.se
-
Interface Summary Interface Description CheckerContext SymbolicValueFactory -
Class Summary Class Description AlwaysTrueOrFalseExpressionCollector CheckerDispatcher ExceptionUtils ExplodedGraph ExplodedGraph.Edge ExplodedGraph.Node ExplodedGraphWalker ExplodedGraphWalker.ExplodedGraphWalkerFactory This class ensures that the SE checks are placed in the correct order for the ExplodedGraphWalker In addition, checks that are needed for a correct ExplodedGraphWalker processing are provided in all cases.Flow Flow.Builder FlowComputation LearnedAssociation LearnedConstraint NullableAnnotationUtils Pair<A,B> 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.SymbolicExecutionVisitor -
Enum Summary Enum Description SymbolicExecutionMode