@ParametersAreNonnullByDefault

Package org.sonar.java.se

Interface Summary

Interface	Description
CheckerContext
SymbolicValueFactory

Class Summary

Class	Description
AlwaysTrueOrFalseExpressionCollector
CheckerDispatcher
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.
FlowComputation
LearnedAssociation
LearnedConstraint
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

Exception Summary

Exception	Description
ExplodedGraphWalker.ExplodedGraphTooBigException
ExplodedGraphWalker.MaximumStepsReachedException
ExplodedGraphWalker.TooManyNestedBooleanStatesException