@ParametersAreNonnullByDefault

Package org.sonar.javascript.se

Class Summary

Class	Description
BlockExecution	This class represents execution of a block on a given path
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
LocalVariables	Variables which are defined in the scope of a function and may be evaluated through symbolic execution.
ProgramState	This class represents the knowledge about the variables values.
SeCheck	Extend this class to implement a new check based on symbolic execution.
SeChecksDispatcher	This class is in charge of initializing of symbolic execution and notifying SeCheck of the events in symbolic execution (like start, end etc.)
SymbolicExecution

Enum Summary

Enum	Description
Nullability
Truthiness
Type