org.sonar.java.se

Interfaces

• CheckerContext
• SymbolicValueFactory

Classes

• CheckerDispatcher
• ExplodedGraph
• ExplodedGraph.Node
• ExplodedGraph.ProgramPoint
• ExplodedGraphWalker
• ExplodedGraphWalker.ExplodedGraphWalkerFactory
• Pair
• ProgramState
• ProgramState.Pop
• SymbolicExecutionVisitor

Exceptions

• ExplodedGraphWalker.ExplodedGraphTooBigException
• ExplodedGraphWalker.MaximumStepsReachedException
• ExplodedGraphWalker.TooManyNestedBooleanStatesException