@ParametersAreNonnullByDefault

Package org.sonar.java.se

Interface Summary

Interface	Description
CheckerContext
SymbolicValueFactory

Class Summary

Class	Description
CheckerDispatcher
ConstraintManager
ConstraintManager.TypedConstraint
ExplodedGraph
ExplodedGraph.Node
ExplodedGraph.ProgramPoint
ExplodedGraphWalker
ObjectConstraint
Pair<A,B>
ProgramState
ProgramState.Pop
SymbolicExecutionVisitor

Enum Summary

Enum	Description
ConstraintManager.BooleanConstraint

Exception Summary

Exception	Description
ExplodedGraphWalker.ExplodedGraphTooBigException
ExplodedGraphWalker.MaximumStepsReachedException