@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

Exception Summary

Exception	Description
ExplodedGraphWalker.ExplodedGraphTooBigException
ExplodedGraphWalker.MaximumStepsReachedException
ExplodedGraphWalker.TooManyNestedBooleanStatesException