| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.checks | |
| org.sonar.java.se.constraint | |
| org.sonar.java.se.symbolicvalues | |
| org.sonar.java.se.xproc |
| Class and Description |
|---|
| AlwaysTrueOrFalseExpressionCollector |
| CheckerContext |
| ExplodedGraph |
| ExplodedGraph.Edge |
| ExplodedGraph.Node |
| ExplodedGraphWalker |
| ExplodedGraphWalker.TooManyNestedBooleanStatesException |
| LearnedAssociation |
| LearnedConstraint |
| Pair |
| ProgramPoint |
| ProgramState |
| ProgramState.Pop |
| ProgramState.SymbolicValueSymbol
This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.
|
| Class and Description |
|---|
| CheckerContext |
| ProgramState |
| Class and Description |
|---|
| Pair |
| ProgramState |
| ProgramState.SymbolicValueSymbol
This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.
|
| SymbolicValueFactory |
| Class and Description |
|---|
| ProgramState |
| ProgramState.SymbolicValueSymbol
This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.
|
| Class and Description |
|---|
| ExplodedGraph.Node |
| ProgramState |
| SymbolicExecutionVisitor |
Copyright © 2012–2017 SonarSource. All rights reserved.