org.sonar.java.se

Interfaces

• CheckerContext
• SymbolicValueFactory

Classes

• AlwaysTrueOrFalseExpressionCollector
• CheckerDispatcher
• ExceptionUtils
• ExplodedGraph
• ExplodedGraph.Edge
• ExplodedGraph.Node
• ExplodedGraphWalker
• ExplodedGraphWalker.ExplodedGraphWalkerFactory
• Flow
• Flow.Builder
• FlowComputation
• LearnedAssociation
• LearnedConstraint
• NullableAnnotationUtils
• Pair
• ProgramPoint
• ProgramState
• ProgramState.Pop
• ProgramState.SymbolicValueSymbol
• SymbolicExecutionVisitor

Enums

• SymbolicExecutionMode

Exceptions

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