Uses of Package
org.sonar.javascript.se

Packages that use org.sonar.javascript.se

Package	Description
org.sonar.javascript.se
org.sonar.javascript.se.builtins
org.sonar.javascript.se.limitations
org.sonar.javascript.se.points
org.sonar.javascript.se.sv

Classes in org.sonar.javascript.se used by org.sonar.javascript.se

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
ProgramState This class represents the knowledge about the variables values.
ProgramStateConstraints
Relation
Relation.Operator
SeCheck Extend this class to implement a new check based on symbolic execution.
SymbolicExecution
Type

Classes in org.sonar.javascript.se used by org.sonar.javascript.se.builtins

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.

Classes in org.sonar.javascript.se used by org.sonar.javascript.se.limitations

Class and Description
ProgramState This class represents the knowledge about the variables values.

Classes in org.sonar.javascript.se used by org.sonar.javascript.se.points

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.
SymbolicExecution

Classes in org.sonar.javascript.se used by org.sonar.javascript.se.sv

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.
Relation