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 Description Constraint This class represents a constraint which is met by aSymbolicValuein a givenProgramState.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 Description Constraint This class represents a constraint which is met by aSymbolicValuein a givenProgramState.ProgramState This class represents the knowledge about the variables values. -
Classes in org.sonar.javascript.se used by org.sonar.javascript.se.limitations Class 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 Description Constraint This class represents a constraint which is met by aSymbolicValuein a givenProgramState.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 Description Constraint This class represents a constraint which is met by aSymbolicValuein a givenProgramState.ProgramState This class represents the knowledge about the variables values.Relation