org.sonar.java.se

Interfaces

• CheckerContext
• SymbolicValueFactory

Classes

• CheckerDispatcher
• ConstraintManager
• ConstraintManager.TypedConstraint
• ExplodedGraph
• ExplodedGraph.Node
• ExplodedGraph.ProgramPoint
• ExplodedGraphWalker
• ObjectConstraint
• Pair
• ProgramState
• ProgramState.Pop
• SymbolicExecutionVisitor

Enums

• ConstraintManager.BooleanConstraint

Exceptions

• ExplodedGraphWalker.ExplodedGraphTooBigException
• ExplodedGraphWalker.MaximumStepsReachedException