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

Packages that use SymbolicValue

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

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, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
<T extends Constraint> T	ProgramState.getConstraint(SymbolicValue sv, Class<T> domain)
ConstraintsByDomain	ProgramState.getConstraints(SymbolicValue sv)
ProgramState	ProgramState.put(Symbol symbol, SymbolicValue value)	To be used only by the ExplodedGraphWalker only, when manipulating program states.
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, int maxReturnedFlows)

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

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

Modifier and Type	Method	Description
default boolean	XxeProperty.isSecuring(SymbolicValue sv1, ExpressionTree arg1)
static boolean	XxeProperty.isSetToEmptyString(SymbolicValue sv1, ExpressionTree arg1)
static boolean	XxeProperty.isSetToFalse(SymbolicValue sv1, ExpressionTree arg1)
static boolean	XxeProperty.isSetToNonEmptyString(SymbolicValue sv1, ExpressionTree arg1)
static boolean	XxeProperty.isSetToTrue(SymbolicValue sv1, ExpressionTree arg1)
default boolean	XxeProperty.isUnsecuring(SymbolicValue sv1, ExpressionTree arg1)

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

Constructor	Description
XxePropertyHolder(String propertyName, Constraint named, BiPredicate<SymbolicValue,ExpressionTree> securing, Constraint secured, BiPredicate<SymbolicValue,ExpressionTree> unsecuring, Constraint unsecured)

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(Tree syntaxNode, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	ConstraintManager.createDefaultSymbolicValue()
SymbolicValue	ConstraintManager.createEquality(ProgramState.SymbolicValueSymbol lhs, ProgramState.SymbolicValueSymbol rhs)
SymbolicValue	ConstraintManager.createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<ProgramState.SymbolicValueSymbol> values)
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.BooleanSymbolicValue
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

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)