org.sonar.java.se

Interfaces

• CheckerContext
• SymbolicValueFactory

Classes

• CheckerDispatcher
• ExplodedGraph
• ExplodedGraph.Edge
• ExplodedGraph.Node
• ExplodedGraphWalker
• ExplodedGraphWalker.ExplodedGraphWalkerFactory
• FlowComputation
• LearnedAssociation
• LearnedConstraint
• Pair
• ProgramPoint
• ProgramState
• ProgramState.Pop
• SymbolicExecutionVisitor

Exceptions

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