@ParametersAreNonnullByDefault

Package org.sonar.java.se

Interface Summary

Interface	Description
CheckerContext
SymbolicValueFactory

Class Summary

Class	Description
CheckerDispatcher
ExplodedGraph
ExplodedGraph.Node
ExplodedGraph.ProgramPoint
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.
Pair<A,B>
ProgramState
ProgramState.Pop
SymbolicExecutionVisitor

Exception Summary

Exception	Description
ExplodedGraphWalker.ExplodedGraphTooBigException
ExplodedGraphWalker.MaximumStepsReachedException
ExplodedGraphWalker.TooManyNestedBooleanStatesException