| Package | Description |
|---|---|
| org.sonar.javascript.se | |
| org.sonar.javascript.se.sv |
| Class and Description |
|---|
| Constraint
This class represents a constraint which is met by a
SymbolicValue in a given ProgramState. |
| ExpressionStack
This class stores the stack of symbolic values corresponding to the order of expression evaluation.
|
| LiveVariableAnalysis
This class provides information about symbols which are "live" (which value will be read) at some point of the program.
|
| LiveVariableAnalysis.Usages |
| Nullability |
| ProgramState
This class represents the knowledge about the variables values.
|
| SeCheck
Extend this class to implement a new check based on symbolic execution.
|
| Truthiness |
| Type |
| Class and Description |
|---|
| Constraint
This class represents a constraint which is met by a
SymbolicValue in a given ProgramState. |
| ProgramState
This class represents the knowledge about the variables values.
|
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.