Uses of Class
org.sonar.java.se.symbolicvalues.SymbolicValue

Packages that use SymbolicValue

Package	Description
org.sonar.java.bytecode.se
org.sonar.java.se
org.sonar.java.se.constraint
org.sonar.java.se.symbolicvalues
org.sonar.java.se.xproc

Uses of SymbolicValue in org.sonar.java.bytecode.se

Methods in org.sonar.java.bytecode.se with parameters of type SymbolicValue

Modifier and Type	Method	Description
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)

Uses of SymbolicValue in org.sonar.java.se

Fields in org.sonar.java.se with type parameters of type SymbolicValue

Modifier and Type	Field	Description
List<SymbolicValue>	ProgramState.Pop.values

Methods in org.sonar.java.se that return SymbolicValue

Modifier and Type	Method	Description
SymbolicValue	SymbolicValueFactory.createSymbolicValue()
SymbolicValue	ProgramState.exitValue()
SymbolicValue	ProgramState.getValue(int index)
SymbolicValue	ProgramState.getValue(Symbol symbol)
SymbolicValue	ProgramState.peekValue()
SymbolicValue	ProgramState.peekValue(int i)
SymbolicValue	LearnedAssociation.symbolicValue()
SymbolicValue	LearnedConstraint.symbolicValue()
SymbolicValue	ProgramState.SymbolicValueSymbol.symbolicValue()

Methods in org.sonar.java.se that return types with arguments of type SymbolicValue

Modifier and Type	Method	Description
List<SymbolicValue>	ProgramState.getValuesWithConstraints(Constraint constraint)
List<SymbolicValue>	ProgramState.peekValues(int n)

Methods in org.sonar.java.se with parameters of type SymbolicValue

Modifier and Type	Method	Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	ProgramState.addConstraints(SymbolicValue symbolicValue, ConstraintsByDomain constraintsForSV)
ProgramState	ProgramState.addConstraintTransitively(SymbolicValue symbolicValue, Constraint constraint)
void	CheckerContext.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	ExplodedGraphWalker.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
boolean	ProgramState.canReach(SymbolicValue symbolicValue)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
<T extends Constraint> T	ProgramState.getConstraint(SymbolicValue sv, Class<T> domain)
ConstraintsByDomain	ProgramState.getConstraints(SymbolicValue sv)
ProgramState	ProgramState.put(int index, SymbolicValue value)
ProgramState	ProgramState.put(Symbol symbol, SymbolicValue value)
ProgramState	ProgramState.removeConstraintsOnDomain(SymbolicValue sv, Class<? extends Constraint> domain)
ProgramState	ProgramState.stackValue(SymbolicValue sv)
ProgramState	ProgramState.stackValue(SymbolicValue sv, Symbol symbol)

Method parameters in org.sonar.java.se with type arguments of type SymbolicValue

Modifier and Type	Method	Description
ProgramState	ProgramState.cleanupConstraints(Collection<SymbolicValue> protectedSymbolicValues)
ProgramState	ProgramState.cleanupDeadSymbols(Set<Symbol> liveVariables, Collection<SymbolicValue> protectedSymbolicValues)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols)

Constructors in org.sonar.java.se with parameters of type SymbolicValue

Constructor	Description
LearnedAssociation(SymbolicValue sv, Symbol symbol)
LearnedConstraint(SymbolicValue sv, Constraint constraint)
SymbolicValueSymbol(SymbolicValue sv, Symbol symbol)

Uses of SymbolicValue in org.sonar.java.se.constraint

Methods in org.sonar.java.se.constraint that return SymbolicValue

Modifier and Type	Method	Description
SymbolicValue	ConstraintManager.createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	ConstraintManager.createBinarySymbolicValue(Tree syntaxNode, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	ConstraintManager.createDefaultSymbolicValue()
SymbolicValue	ConstraintManager.createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<ProgramState.SymbolicValueSymbol> values)
SymbolicValue	ConstraintManager.createSymbolicValue(Instruction inst)
SymbolicValue	ConstraintManager.createSymbolicValue(Tree syntaxNode)

Methods in org.sonar.java.se.constraint with parameters of type SymbolicValue

Modifier and Type	Method	Description
boolean	ConstraintManager.isNull(ProgramState ps, SymbolicValue val)

Uses of SymbolicValue in org.sonar.java.se.symbolicvalues

Subclasses of SymbolicValue in org.sonar.java.se.symbolicvalues

Modifier and Type	Class	Description
class	BinarySymbolicValue
class	RelationalSymbolicValue
static class	SymbolicValue.AndSymbolicValue
static class	SymbolicValue.BooleanExpressionSymbolicValue
static class	SymbolicValue.CaughtExceptionSymbolicValue
static class	SymbolicValue.ExceptionalSymbolicValue
static class	SymbolicValue.InstanceOfSymbolicValue
static class	SymbolicValue.NotSymbolicValue
static class	SymbolicValue.OrSymbolicValue
static class	SymbolicValue.UnarySymbolicValue
static class	SymbolicValue.XorSymbolicValue

Fields in org.sonar.java.se.symbolicvalues declared as SymbolicValue

Modifier and Type	Field	Description
static SymbolicValue	SymbolicValue.FALSE_LITERAL
static SymbolicValue	SymbolicValue.NULL_LITERAL
protected SymbolicValue	SymbolicValue.UnarySymbolicValue.operand
static SymbolicValue	SymbolicValue.TRUE_LITERAL

Fields in org.sonar.java.se.symbolicvalues with type parameters of type SymbolicValue

Modifier and Type	Field	Description
static List<SymbolicValue>	SymbolicValue.PROTECTED_SYMBOLIC_VALUES

Methods in org.sonar.java.se.symbolicvalues that return SymbolicValue

Modifier and Type	Method	Description
SymbolicValue	BinarySymbolicValue.getLeftOp()
SymbolicValue	BinarySymbolicValue.getRightOp()
SymbolicValue	SymbolicValue.wrappedValue()

Methods in org.sonar.java.se.symbolicvalues that return types with arguments of type SymbolicValue

Modifier and Type	Method	Description
List<SymbolicValue>	BinarySymbolicValue.computedFrom()
List<SymbolicValue>	SymbolicValue.computedFrom()
List<SymbolicValue>	SymbolicValue.UnarySymbolicValue.computedFrom()

Methods in org.sonar.java.se.symbolicvalues with parameters of type SymbolicValue

Modifier and Type	Method	Description
static boolean	SymbolicValue.isDisposable(SymbolicValue symbolicValue)
boolean	BinarySymbolicValue.references(SymbolicValue other)
boolean	SymbolicValue.references(SymbolicValue other)
boolean	SymbolicValue.UnarySymbolicValue.references(SymbolicValue other)

Uses of SymbolicValue in org.sonar.java.se.xproc

Methods in org.sonar.java.se.xproc that return types with arguments of type SymbolicValue

Modifier and Type	Method	Description
List<SymbolicValue>	MethodBehavior.parameters()

Methods in org.sonar.java.se.xproc with parameters of type SymbolicValue

Modifier and Type	Method	Description
void	MethodBehavior.addParameter(SymbolicValue sv)
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)

Method parameters in org.sonar.java.se.xproc with type arguments of type SymbolicValue

Modifier and Type	Method	Description
Stream<ProgramState>	MethodYield.parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState)
Stream<ProgramState>	ExceptionalCheckBasedYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalCheckBasedYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	HappyPathYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	HappyPathYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
abstract Stream<ProgramState>	MethodYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
abstract Stream<ProgramState>	MethodYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)

Constructors in org.sonar.java.se.xproc with parameters of type SymbolicValue

Constructor	Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, String exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)