Index (SonarQube Java :: Symbolic Execution 7.21.0.31796 API)

A B C D E F G H I K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

a - Variable in class org.sonar.java.se.Pair
AbstractXMLProcessing - Class in org.sonar.java.se.checks
AbstractXMLProcessing() - Constructor for class org.sonar.java.se.checks.AbstractXMLProcessing
add(JavaFileScannerContext.Location) - Method in class org.sonar.java.se.Flow.Builder
addAll(Flow) - Method in class org.sonar.java.se.Flow.Builder
addConstraint(SymbolicValue, Constraint) - Method in class org.sonar.java.se.ProgramState
addConstraints(SymbolicValue, ConstraintsByDomain) - Method in class org.sonar.java.se.ProgramState
addConstraintTransitively(SymbolicValue, Constraint) - Method in class org.sonar.java.se.ProgramState
addExceptionalYield(SymbolicValue, ProgramState, String, SECheck) - Method in interface org.sonar.java.se.CheckerContext
addExceptionalYield(SymbolicValue, ProgramState, String, SECheck) - Method in class org.sonar.java.se.CheckerDispatcher
addExceptionalYield(SymbolicValue, ProgramState, String, SECheck) - Method in class org.sonar.java.se.ExplodedGraphWalker
addIssueLocation(Flow, Tree, boolean) - Static method in class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector
addParameter(SymbolicValue) - Method in class org.sonar.java.se.xproc.MethodBehavior
addParent(ExplodedGraph.Node, MethodYield) - Method in class org.sonar.java.se.ExplodedGraph.Node
addStates(List<ProgramState>, List<ProgramState>) - Static method in class org.sonar.java.se.symbolicvalues.SymbolicValue.BooleanExpressionSymbolicValue
addTransition(ProgramState) - Method in interface org.sonar.java.se.CheckerContext
addTransition(ProgramState) - Method in class org.sonar.java.se.CheckerDispatcher
addYield(MethodYield) - Method in class org.sonar.java.se.xproc.MethodBehavior
AllowXMLInclusionCheck - Class in org.sonar.java.se.checks: This check uses the symbolic value and constraints set by XxeProcessingCheck.
AllowXMLInclusionCheck() - Constructor for class org.sonar.java.se.checks.AllowXMLInclusionCheck
alwaysFalse() - Method in class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector
alwaysTrue() - Method in class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector
AlwaysTrueOrFalseExpressionCollector - Class in org.sonar.java.se
AlwaysTrueOrFalseExpressionCollector() - Constructor for class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector
alwaysTrueOrFalseExpressions() - Method in interface org.sonar.java.se.CheckerContext
alwaysTrueOrFalseExpressions() - Method in class org.sonar.java.se.CheckerDispatcher
AndSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.AndSymbolicValue
assumeDual(ProgramState) - Method in class org.sonar.java.se.constraint.ConstraintManager

B

b - Variable in class org.sonar.java.se.Pair
behaviorCache - Variable in class org.sonar.java.se.SymbolicExecutionVisitor
BehaviorCache - Class in org.sonar.java.se.xproc
BehaviorCache() - Constructor for class org.sonar.java.se.xproc.BehaviorCache
behaviors - Variable in class org.sonar.java.se.xproc.BehaviorCache
BinarySymbolicValue - Class in org.sonar.java.se.symbolicvalues
BinarySymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
block - Variable in class org.sonar.java.se.ProgramPoint
BOOLEAN_VALUE_MATCHER - Static variable in class org.sonar.java.se.ExplodedGraphWalker
BooleanConstraint - Enum in org.sonar.java.se.constraint
BooleanExpressionSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.BooleanExpressionSymbolicValue
BooleanGratuitousExpressionsCheck - Class in org.sonar.java.se.checks
BooleanGratuitousExpressionsCheck() - Constructor for class org.sonar.java.se.checks.BooleanGratuitousExpressionsCheck
BooleanSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.BooleanSymbolicValue
build() - Method in class org.sonar.java.se.Flow.Builder
builder() - Static method in class org.sonar.java.se.Flow

C

canReach(SymbolicValue) - Method in class org.sonar.java.se.ProgramState
CaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue) - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.CaughtExceptionSymbolicValue
check() - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.BooleanGratuitousExpressionsCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.ConditionalUnreachableCodeCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.InvariantReturnCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NoWayOutLoopCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.RedundantAssignmentsCheck
checkEndOfExecution(CheckerContext) - Method in class org.sonar.java.se.checks.SECheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.DivisionByZeroCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.InvariantReturnCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.LocksNotUnlockedCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.OptionalGetBeforeIsPresentCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.SECheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.StreamNotConsumedCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.UnclosedResourcesCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.XmlValidatedSignatureCheck
checkEndOfExecutionPath(CheckerContext, ConstraintManager) - Method in class org.sonar.java.se.checks.XxeProcessingCheck
CheckerContext - Interface in org.sonar.java.se
CheckerDispatcher - Class in org.sonar.java.se
CheckerDispatcher(ExplodedGraphWalker, List<SECheck>, JavaFileScannerContext) - Constructor for class org.sonar.java.se.CheckerDispatcher
CheckerTreeNodeVisitor - Class in org.sonar.java.se.checks
CheckerTreeNodeVisitor(ProgramState) - Constructor for class org.sonar.java.se.checks.CheckerTreeNodeVisitor
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.DivisionByZeroCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.LocksNotUnlockedCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.MinMaxRangeCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.ObjectOutputStreamCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.OptionalGetBeforeIsPresentCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.RedundantAssignmentsCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.SECheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.StreamConsumedCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.UnclosedResourcesCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.XmlValidatedSignatureCheck
checkPostStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.XxeProcessingCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.DivisionByZeroCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.LocksNotUnlockedCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.MinMaxRangeCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.NoWayOutLoopCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.ObjectOutputStreamCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.OptionalGetBeforeIsPresentCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.ParameterNullnessCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.SECheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.StreamConsumedCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.UnclosedResourcesCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.XmlValidatedSignatureCheck
checkPreStatement(CheckerContext, Tree) - Method in class org.sonar.java.se.checks.XxeProcessingCheck
child() - Method in class org.sonar.java.se.ExplodedGraph.Edge
cleanup() - Method in class org.sonar.java.se.xproc.BehaviorCache
cleanupConstraints(Collection<SymbolicValue>) - Method in class org.sonar.java.se.ProgramState
cleanupDeadSymbols(Set<Symbol>, Collection<SymbolicValue>) - Method in class org.sonar.java.se.ProgramState
cleanupStack(Tree) - Method in class org.sonar.java.se.ExplodedGraphWalker
CLOSED - Enum constant in enum org.sonar.java.se.checks.UnclosedResourcesCheck.ResourceConstraint
closingMethod - Variable in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
completed() - Method in class org.sonar.java.se.xproc.MethodBehavior
computedFrom() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
computedFrom() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
computedFrom() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
computedFrom(List<ProgramState.SymbolicValueSymbol>) - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
computedFrom(List<ProgramState.SymbolicValueSymbol>) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
computedFrom(List<ProgramState.SymbolicValueSymbol>) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
computedFromSymbols() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
computedFromSymbols() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
computedFromSymbols() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
ConditionalUnreachableCodeCheck - Class in org.sonar.java.se.checks
ConditionalUnreachableCodeCheck() - Constructor for class org.sonar.java.se.checks.ConditionalUnreachableCodeCheck
constraint() - Method in class org.sonar.java.se.LearnedConstraint
Constraint - Interface in org.sonar.java.se.constraint
ConstraintManager - Class in org.sonar.java.se.constraint
ConstraintManager() - Constructor for class org.sonar.java.se.constraint.ConstraintManager
ConstraintsByDomain - Class in org.sonar.java.se.constraint
constraintsSize() - Method in class org.sonar.java.se.ProgramState
constructor - Variable in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
CONSUMED - Enum constant in enum org.sonar.java.se.checks.StreamConsumedCheck.StreamPipelineConstraint
copyOver(RelationalSymbolicValue.Kind) - Method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
copyOver(RelationalSymbolicValue.Kind) - Method in enum org.sonar.java.se.constraint.BooleanConstraint
copyOver(RelationalSymbolicValue.Kind) - Method in interface org.sonar.java.se.constraint.Constraint: Return constraint which should be applied to the rhs of the relation, if this constraint is set on the lhs of the relation.
copyOver(RelationalSymbolicValue.Kind) - Method in enum org.sonar.java.se.constraint.ObjectConstraint
createBinarySymbolicValue(Tree, List<ProgramState.SymbolicValueSymbol>) - Method in class org.sonar.java.se.constraint.ConstraintManager
createCaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue) - Method in class org.sonar.java.se.constraint.ConstraintManager
createDefaultSymbolicValue() - Method in class org.sonar.java.se.constraint.ConstraintManager
createEquality(ProgramState.SymbolicValueSymbol, ProgramState.SymbolicValueSymbol) - Method in class org.sonar.java.se.constraint.ConstraintManager
createExceptionalCheckBasedYield(SymbolicValue, ExplodedGraph.Node, String, SECheck) - Method in class org.sonar.java.se.xproc.MethodBehavior
createExceptionalSymbolicValue(Type) - Method in class org.sonar.java.se.constraint.ConstraintManager
createMethodSymbolicValue(MethodInvocationTree, List<ProgramState.SymbolicValueSymbol>) - Method in class org.sonar.java.se.constraint.ConstraintManager
createSink() - Method in interface org.sonar.java.se.CheckerContext
createSink() - Method in class org.sonar.java.se.CheckerDispatcher
createSymbolicValue() - Method in interface org.sonar.java.se.SymbolicValueFactory
createSymbolicValue(Tree) - Method in class org.sonar.java.se.constraint.ConstraintManager
createWalker(BehaviorCache, JavaFileScannerContext) - Method in class org.sonar.java.se.ExplodedGraphWalker.ExplodedGraphWalkerFactory
createYield(ExplodedGraph.Node) - Method in class org.sonar.java.se.xproc.MethodBehavior
CUSTOM_ENTITY_RESOLVER - Enum constant in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeEntityResolver
CustomUnclosedResourcesCheck - Class in org.sonar.java.se.checks
CustomUnclosedResourcesCheck() - Constructor for class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
CustomUnclosedResourcesCheck.CustomResourceConstraint - Class in org.sonar.java.se.checks

D

DenialOfServiceXMLCheck - Class in org.sonar.java.se.checks: This check uses the symbolic value and constraints set by XxeProcessingCheck.
DenialOfServiceXMLCheck() - Constructor for class org.sonar.java.se.checks.DenialOfServiceXMLCheck
deserialize(JsonElement, Type, JsonDeserializationContext) - Method in class org.sonar.java.se.xproc.MethodBehaviorJsonAdapter
DISABLE - Enum constant in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeSetExpandEntity
DISABLE - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude
DivisionByZeroCheck - Class in org.sonar.java.se.checks
DivisionByZeroCheck() - Constructor for class org.sonar.java.se.checks.DivisionByZeroCheck
DivisionByZeroCheck.ZeroConstraint - Enum in org.sonar.java.se.checks
domains() - Method in class org.sonar.java.se.constraint.ConstraintsByDomain

E

edges() - Method in class org.sonar.java.se.ExplodedGraph.Node
elements() - Method in class org.sonar.java.se.Flow
empty() - Static method in class org.sonar.java.se.constraint.ConstraintsByDomain
empty() - Static method in class org.sonar.java.se.Flow
EMPTY_STATE - Static variable in class org.sonar.java.se.ProgramState
ENABLE - Enum constant in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetValidating
ENABLE - Enum constant in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetXIncludeAware
ENABLE - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude
enqueue(ProgramPoint, ProgramState) - Method in class org.sonar.java.se.ExplodedGraphWalker
enqueue(ProgramPoint, ProgramState, boolean) - Method in class org.sonar.java.se.ExplodedGraphWalker
enqueue(ProgramPoint, ProgramState, boolean, MethodYield) - Method in class org.sonar.java.se.ExplodedGraphWalker
enqueue(ProgramPoint, ProgramState, MethodYield) - Method in class org.sonar.java.se.ExplodedGraphWalker
EQUAL - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
equals(Object) - Method in class org.sonar.java.se.checks.XxeProcessingCheck.XxeSymbolicValue
equals(Object) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
equals(Object) - Method in class org.sonar.java.se.constraint.TypedConstraint
equals(Object) - Method in class org.sonar.java.se.ExplodedGraph.Edge
equals(Object) - Method in class org.sonar.java.se.ExplodedGraph.Node
equals(Object) - Method in class org.sonar.java.se.Flow
equals(Object) - Method in class org.sonar.java.se.ProgramPoint
equals(Object) - Method in class org.sonar.java.se.ProgramState
equals(Object) - Method in class org.sonar.java.se.ProgramState.SymbolicValueSymbol
equals(Object) - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
equals(Object) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
equals(Object) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
equals(Object) - Method in class org.sonar.java.se.xproc.ExceptionalYield
equals(Object) - Method in class org.sonar.java.se.xproc.HappyPathYield
equals(Object) - Method in class org.sonar.java.se.xproc.MethodBehavior
equals(Object) - Method in class org.sonar.java.se.xproc.MethodYield
EQUALS_METHODS - Static variable in class org.sonar.java.se.ExplodedGraphWalker
exception() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.CaughtExceptionSymbolicValue
ExceptionalCheckBasedYield - Class in org.sonar.java.se.xproc
ExceptionalCheckBasedYield(SymbolicValue, String, Class<? extends SECheck>, ExplodedGraph.Node, MethodBehavior) - Constructor for class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
exceptionalPathYields() - Method in class org.sonar.java.se.xproc.MethodBehavior
ExceptionalSymbolicValue(Type) - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.ExceptionalSymbolicValue
ExceptionalYield - Class in org.sonar.java.se.xproc
ExceptionalYield(ExplodedGraph.Node, MethodBehavior) - Constructor for class org.sonar.java.se.xproc.ExceptionalYield
ExceptionalYield(MethodBehavior) - Constructor for class org.sonar.java.se.xproc.ExceptionalYield
ExceptionalYieldChecker - Class in org.sonar.java.se.checks
exceptionFlows(int) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
exceptionType() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.ExceptionalSymbolicValue
exceptionType(Sema) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
exceptionType(Sema) - Method in class org.sonar.java.se.xproc.ExceptionalYield
ExceptionUtils - Class in org.sonar.java.se
excludedTypes - Variable in class org.sonar.java.se.checks.UnclosedResourcesCheck
execute(MethodTree) - Method in class org.sonar.java.se.SymbolicExecutionVisitor
executeCheckEndOfExecution() - Method in class org.sonar.java.se.CheckerDispatcher
executeCheckEndOfExecutionPath(ConstraintManager) - Method in class org.sonar.java.se.CheckerDispatcher
executeCheckPostStatement(Tree) - Method in class org.sonar.java.se.CheckerDispatcher
executeCheckPreStatement(Tree) - Method in class org.sonar.java.se.CheckerDispatcher
exitingOnRuntimeException() - Method in class org.sonar.java.se.ProgramState
exitValue() - Method in class org.sonar.java.se.ProgramState
ExplodedGraph - Class in org.sonar.java.se
ExplodedGraph() - Constructor for class org.sonar.java.se.ExplodedGraph
ExplodedGraph.Edge - Class in org.sonar.java.se
ExplodedGraph.Node - Class in org.sonar.java.se
ExplodedGraphTooBigException(String) - Constructor for exception class org.sonar.java.se.ExplodedGraphWalker.ExplodedGraphTooBigException
ExplodedGraphWalker - Class in org.sonar.java.se
ExplodedGraphWalker(List<SECheck>, BehaviorCache, JavaFileScannerContext) - Constructor for class org.sonar.java.se.ExplodedGraphWalker
ExplodedGraphWalker(BehaviorCache, JavaFileScannerContext) - Constructor for class org.sonar.java.se.ExplodedGraphWalker
ExplodedGraphWalker.ExplodedGraphTooBigException - Exception Class in org.sonar.java.se
ExplodedGraphWalker.ExplodedGraphWalkerFactory - Class in org.sonar.java.se: This class ensures that the SE checks are placed in the correct order for the ExplodedGraphWalker In addition, checks that are needed for a correct ExplodedGraphWalker processing are provided in all cases.
ExplodedGraphWalker.MaximumStartingStatesException - Exception Class in org.sonar.java.se
ExplodedGraphWalker.MaximumStepsReachedException - Exception Class in org.sonar.java.se
ExplodedGraphWalker.TooManyNestedBooleanStatesException - Exception Class in org.sonar.java.se
ExplodedGraphWalkerFactory(List<SECheck>) - Constructor for class org.sonar.java.se.ExplodedGraphWalker.ExplodedGraphWalkerFactory

F

factoryMethod - Variable in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
FALSE - Enum constant in enum org.sonar.java.se.constraint.BooleanConstraint
FALSE_LITERAL - Static variable in class org.sonar.java.se.symbolicvalues.SymbolicValue
FIRST_FLOW - Static variable in class org.sonar.java.se.FlowComputation
firstFlowLocation() - Method in class org.sonar.java.se.Flow
flow(List<Integer>, List<Class<? extends Constraint>>, int) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
flow(List<Integer>, List<Class<? extends Constraint>>, int) - Method in class org.sonar.java.se.xproc.MethodYield
flow(ExplodedGraph.Node, Set<SymbolicValue>, Predicate<Constraint>, Predicate<Constraint>, List<Class<? extends Constraint>>, Set<Symbol>, int) - Static method in class org.sonar.java.se.FlowComputation
flow(ExplodedGraph.Node, SymbolicValue, List<Class<? extends Constraint>>, int) - Static method in class org.sonar.java.se.FlowComputation
flow(ExplodedGraph.Node, SymbolicValue, List<Class<? extends Constraint>>, Symbol, int) - Static method in class org.sonar.java.se.FlowComputation
Flow - Class in org.sonar.java.se
Flow.Builder - Class in org.sonar.java.se
FlowComputation - Class in org.sonar.java.se
flowForExpression(Tree, int) - Method in class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector
flowsForArgumentsChangingName(List<Integer>, MethodInvocationTree) - Static method in class org.sonar.java.se.FlowComputation
flowsForPassedArguments(List<Integer>, MethodInvocationTree) - Static method in class org.sonar.java.se.FlowComputation
flowWithoutExceptions(ExplodedGraph.Node, SymbolicValue, Predicate<Constraint>, Predicate<Constraint>, List<Class<? extends Constraint>>, int) - Static method in class org.sonar.java.se.FlowComputation
flowWithoutExceptions(ExplodedGraph.Node, SymbolicValue, Predicate<Constraint>, List<Class<? extends Constraint>>, int) - Static method in class org.sonar.java.se.FlowComputation
forEach(BiConsumer<Class<? extends Constraint>, Constraint>) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain

G

generatedByCheck(SECheck) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
generatedByCheck(SECheck) - Method in class org.sonar.java.se.xproc.MethodYield
get(Class<? extends Constraint>) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
get(String) - Method in class org.sonar.java.se.xproc.BehaviorCache
get(Symbol.MethodSymbol) - Method in class org.sonar.java.se.xproc.BehaviorCache
getArgumentIdentifier(MethodInvocationTree, int) - Static method in class org.sonar.java.se.FlowComputation
getConstraint(SymbolicValue, Class<T>) - Method in class org.sonar.java.se.ProgramState
getConstraintManager() - Method in interface org.sonar.java.se.CheckerContext
getConstraintManager() - Method in class org.sonar.java.se.CheckerDispatcher
getConstraints(SymbolicValue) - Method in class org.sonar.java.se.ProgramState
getDeclaredExceptions() - Method in class org.sonar.java.se.xproc.MethodBehavior
getDomains() - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
getDomains() - Method in class org.sonar.java.se.checks.AllowXMLInclusionCheck
getDomains() - Method in class org.sonar.java.se.checks.DenialOfServiceXMLCheck
getDomains() - Method in class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
getEntryException() - Method in class org.sonar.java.se.ProgramState
getExceptionType() - Method in class org.sonar.java.se.xproc.ExceptionalYield
getFlows() - Method in class org.sonar.java.se.checks.SECheck.SEIssue
getLeftOp() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
getMessage() - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
getMessage() - Method in class org.sonar.java.se.checks.AllowXMLInclusionCheck
getMessage() - Method in class org.sonar.java.se.checks.DenialOfServiceXMLCheck
getMessage() - Method in class org.sonar.java.se.checks.SECheck.SEIssue
getMessage() - Method in class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
getName(Tree) - Static method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
getNode() - Method in interface org.sonar.java.se.CheckerContext
getNode() - Method in class org.sonar.java.se.CheckerDispatcher
getParsingMethods() - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
getParsingMethods() - Method in class org.sonar.java.se.checks.AllowXMLInclusionCheck
getParsingMethods() - Method in class org.sonar.java.se.checks.DenialOfServiceXMLCheck
getParsingMethods() - Method in class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
getRightOp() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
getScannerContext() - Method in interface org.sonar.java.se.CheckerContext
getScannerContext() - Method in class org.sonar.java.se.CheckerDispatcher
getState() - Method in interface org.sonar.java.se.CheckerContext
getState() - Method in class org.sonar.java.se.CheckerDispatcher
getTree() - Method in class org.sonar.java.se.checks.SECheck.SEIssue
getType(Sema) - Method in class org.sonar.java.se.constraint.TypedConstraint
getValue(int) - Method in class org.sonar.java.se.ProgramState
getValue(Symbol) - Method in class org.sonar.java.se.ProgramState
getValuesWithConstraints(Constraint) - Method in class org.sonar.java.se.ProgramState
getWalker() - Method in class org.sonar.java.se.SymbolicExecutionVisitor
GREATER_THAN_OR_EQUAL - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
gson() - Static method in class org.sonar.java.se.xproc.MethodBehaviorJsonAdapter

H

HappyPathYield - Class in org.sonar.java.se.xproc
HappyPathYield(ExplodedGraph.Node, MethodBehavior) - Constructor for class org.sonar.java.se.xproc.HappyPathYield
HappyPathYield(MethodBehavior) - Constructor for class org.sonar.java.se.xproc.HappyPathYield
happyPathYields() - Method in class org.sonar.java.se.xproc.MethodBehavior
hasConstraint(Constraint) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
hashCode() - Method in class org.sonar.java.se.checks.XxeProcessingCheck.XxeSymbolicValue
hashCode() - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
hashCode() - Method in class org.sonar.java.se.constraint.TypedConstraint
hashCode() - Method in class org.sonar.java.se.ExplodedGraph.Edge
hashCode() - Method in class org.sonar.java.se.ExplodedGraph.Node
hashCode() - Method in class org.sonar.java.se.Flow
hashCode() - Method in class org.sonar.java.se.ProgramPoint
hashCode() - Method in class org.sonar.java.se.ProgramState
hashCode() - Method in class org.sonar.java.se.ProgramState.SymbolicValueSymbol
hashCode() - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
hashCode() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
hashCode() - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
hashCode() - Method in class org.sonar.java.se.xproc.ExceptionalYield
hashCode() - Method in class org.sonar.java.se.xproc.HappyPathYield
hashCode() - Method in class org.sonar.java.se.xproc.MethodBehavior
hashCode() - Method in class org.sonar.java.se.xproc.MethodYield
hasPreciseValue() - Method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
hasPreciseValue() - Method in enum org.sonar.java.se.constraint.BooleanConstraint
hasPreciseValue() - Method in interface org.sonar.java.se.constraint.Constraint
hasPreciseValue() - Method in enum org.sonar.java.se.constraint.ObjectConstraint
hasUnreachableCode(Tree, boolean) - Static method in class org.sonar.java.se.AlwaysTrueOrFalseExpressionCollector

I

i - Variable in class org.sonar.java.se.ProgramPoint
init - Variable in class org.sonar.java.se.checks.XxeProcessingCheck.XxeSymbolicValue
init(MethodTree, CFG) - Method in class org.sonar.java.se.CheckerDispatcher
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.DivisionByZeroCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.InvariantReturnCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.NoWayOutLoopCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.RedundantAssignmentsCheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.SECheck
init(MethodTree, CFG) - Method in class org.sonar.java.se.checks.UnclosedResourcesCheck
InstanceOfSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.InstanceOfSymbolicValue
interruptedExecution(Exception) - Method in class org.sonar.java.se.CheckerDispatcher
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.InvariantReturnCheck
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NoWayOutLoopCheck
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.RedundantAssignmentsCheck
interruptedExecution(CheckerContext) - Method in class org.sonar.java.se.checks.SECheck
interruptionCause() - Method in class org.sonar.java.se.CheckerDispatcher: Will be not null only when the execution is interrupted, and only during handling of SECheck.interruptedExecution(CheckerContext).
InvariantReturnCheck - Class in org.sonar.java.se.checks
InvariantReturnCheck() - Constructor for class org.sonar.java.se.checks.InvariantReturnCheck
inverse() - Method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
inverse() - Method in enum org.sonar.java.se.constraint.BooleanConstraint
inverse() - Method in interface org.sonar.java.se.constraint.Constraint
inverse() - Method in enum org.sonar.java.se.constraint.ObjectConstraint
invert() - Method in class org.sonar.java.se.Pair
isCompatibleWithJavaVersion(JavaVersion) - Method in class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
isComplete() - Method in class org.sonar.java.se.xproc.MethodBehavior
isDisposable(SymbolicValue) - Static method in class org.sonar.java.se.symbolicvalues.SymbolicValue
isEmpty() - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
isEmpty() - Method in class org.sonar.java.se.Flow
isEquality() - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
isFalse() - Method in enum org.sonar.java.se.constraint.BooleanConstraint
isField - Variable in class org.sonar.java.se.checks.XxeProcessingCheck.XxeSymbolicValue
isField(Symbol) - Static method in class org.sonar.java.se.ProgramState
isMethodVarArgs() - Method in class org.sonar.java.se.xproc.MethodBehavior
isNamed(String) - Method in interface org.sonar.java.se.checks.XxeProperty
isNew() - Method in class org.sonar.java.se.ExplodedGraph.Node
isNonExceptional() - Method in class org.sonar.java.se.Flow
isNull() - Method in enum org.sonar.java.se.constraint.ObjectConstraint
isNull(ProgramState, SymbolicValue) - Method in class org.sonar.java.se.constraint.ConstraintManager
isSecuring(SymbolicValue, ExpressionTree) - Method in interface org.sonar.java.se.checks.XxeProperty
isSetToEmptyString(SymbolicValue, ExpressionTree) - Static method in interface org.sonar.java.se.checks.XxeProperty
isSetToFalse(SymbolicValue, ExpressionTree) - Static method in interface org.sonar.java.se.checks.XxeProperty
isSetToNonEmptyString(SymbolicValue, ExpressionTree) - Static method in interface org.sonar.java.se.checks.XxeProperty
isSetToTrue(SymbolicValue, ExpressionTree) - Static method in interface org.sonar.java.se.checks.XxeProperty
issues - Variable in class org.sonar.java.se.checks.SECheck
isTrue() - Method in enum org.sonar.java.se.constraint.BooleanConstraint
isUncheckedException(Type) - Static method in class org.sonar.java.se.ExceptionUtils
isUnSecuredByProperty(ConstraintsByDomain) - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
isUnSecuredByProperty(ConstraintsByDomain) - Method in class org.sonar.java.se.checks.AllowXMLInclusionCheck
isUnSecuredByProperty(ConstraintsByDomain) - Method in class org.sonar.java.se.checks.DenialOfServiceXMLCheck
isUnSecuredByProperty(ConstraintsByDomain) - Method in class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
isUnsecuring(SymbolicValue, ExpressionTree) - Method in interface org.sonar.java.se.checks.XxeProperty
isValidWith(Constraint) - Method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
isValidWith(Constraint) - Method in enum org.sonar.java.se.constraint.BooleanConstraint
isValidWith(Constraint) - Method in interface org.sonar.java.se.constraint.Constraint
isValidWith(Constraint) - Method in enum org.sonar.java.se.constraint.ObjectConstraint
isVisited() - Method in class org.sonar.java.se.xproc.MethodBehavior

K

kind() - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
knownRelations() - Method in class org.sonar.java.se.ProgramState

L

LearnedAssociation - Class in org.sonar.java.se
LearnedAssociation(SymbolicValue, Symbol) - Constructor for class org.sonar.java.se.LearnedAssociation
learnedAssociations() - Method in class org.sonar.java.se.ExplodedGraph.Edge
LearnedConstraint - Class in org.sonar.java.se
LearnedConstraint(SymbolicValue, Constraint) - Constructor for class org.sonar.java.se.LearnedConstraint
learnedConstraints() - Method in class org.sonar.java.se.ExplodedGraph.Edge
leftSymbol() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
LESS_THAN - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
LOCKED - Enum constant in enum org.sonar.java.se.checks.LocksNotUnlockedCheck.LockConstraint
LocksNotUnlockedCheck - Class in org.sonar.java.se.checks
LocksNotUnlockedCheck() - Constructor for class org.sonar.java.se.checks.LocksNotUnlockedCheck
LocksNotUnlockedCheck.LockConstraint - Enum in org.sonar.java.se.checks

M

MapComputeIfAbsentOrPresentCheck - Class in org.sonar.java.se.checks
MapComputeIfAbsentOrPresentCheck() - Constructor for class org.sonar.java.se.checks.MapComputeIfAbsentOrPresentCheck
MAX_LOOKUP_FLOWS - Static variable in class org.sonar.java.se.FlowComputation
MAX_NESTED_BOOLEAN_STATES - Static variable in class org.sonar.java.se.ExplodedGraphWalker
MAX_REPORTED_FLOWS - Static variable in class org.sonar.java.se.FlowComputation
MaximumStartingStatesException(String) - Constructor for exception class org.sonar.java.se.ExplodedGraphWalker.MaximumStartingStatesException
MaximumStepsReachedException(String) - Constructor for exception class org.sonar.java.se.ExplodedGraphWalker.MaximumStepsReachedException
MaximumStepsReachedException(String, RuntimeException) - Constructor for exception class org.sonar.java.se.ExplodedGraphWalker.MaximumStepsReachedException
maxSteps() - Method in class org.sonar.java.se.ExplodedGraphWalker
MESSAGE - Static variable in class org.sonar.java.se.checks.ConditionalUnreachableCodeCheck
METHOD_EQUALS - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
methodArity() - Method in class org.sonar.java.se.xproc.MethodBehavior
methodBehavior() - Method in class org.sonar.java.se.CheckerDispatcher
methodBehavior() - Method in class org.sonar.java.se.xproc.MethodYield
MethodBehavior - Class in org.sonar.java.se.xproc
MethodBehavior(String, boolean) - Constructor for class org.sonar.java.se.xproc.MethodBehavior
methodBehaviorForSymbol(Symbol.MethodSymbol) - Method in class org.sonar.java.se.xproc.BehaviorCache
MethodBehaviorJsonAdapter - Class in org.sonar.java.se.xproc
methodCanNotBeOverriden(Symbol.MethodSymbol) - Static method in class org.sonar.java.se.SymbolicExecutionVisitor
MethodYield - Class in org.sonar.java.se.xproc
MethodYield(ExplodedGraph.Node, MethodBehavior) - Constructor for class org.sonar.java.se.xproc.MethodYield
MethodYield(MethodBehavior) - Constructor for class org.sonar.java.se.xproc.MethodYield
MinMaxRangeCheck - Class in org.sonar.java.se.checks
MinMaxRangeCheck() - Constructor for class org.sonar.java.se.checks.MinMaxRangeCheck

N

NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd
NAMED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude
namedConstraint() - Method in interface org.sonar.java.se.checks.XxeProperty
NEW_DOCUMENT_BUILDER - Static variable in class org.sonar.java.se.checks.XxeProcessingCheck
next() - Method in class org.sonar.java.se.ProgramPoint
node(ProgramPoint, ProgramState) - Method in class org.sonar.java.se.ExplodedGraph: Returns node associated with given (programPoint,programState) pair.
nodes() - Method in class org.sonar.java.se.ExplodedGraph
nodesToVisit() - Method in class org.sonar.java.se.SymbolicExecutionVisitor
NON_ZERO - Enum constant in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
NonNullSetToNullCheck - Class in org.sonar.java.se.checks
NonNullSetToNullCheck() - Constructor for class org.sonar.java.se.checks.NonNullSetToNullCheck
NOT_CONSUMED - Enum constant in enum org.sonar.java.se.checks.StreamConsumedCheck.StreamPipelineConstraint
NOT_EQUAL - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
NOT_METHOD_EQUALS - Enum constant in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind
NOT_NULL - Enum constant in enum org.sonar.java.se.constraint.ObjectConstraint
NotSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.NotSymbolicValue
NoWayOutLoopCheck - Class in org.sonar.java.se.checks
NoWayOutLoopCheck() - Constructor for class org.sonar.java.se.checks.NoWayOutLoopCheck
NULL - Enum constant in enum org.sonar.java.se.constraint.ObjectConstraint
NULL_LITERAL - Static variable in class org.sonar.java.se.symbolicvalues.SymbolicValue
nullabilityAsString(SymbolMetadata.NullabilityData) - Static method in class org.sonar.java.se.NullabilityDataUtils
NullabilityDataUtils - Class in org.sonar.java.se
NullDereferenceCheck - Class in org.sonar.java.se.checks
NullDereferenceCheck() - Constructor for class org.sonar.java.se.checks.NullDereferenceCheck
numberOfTimeVisited(ProgramPoint) - Method in class org.sonar.java.se.ProgramState

O

ObjectConstraint - Enum in org.sonar.java.se.constraint
ObjectOutputStreamCheck - Class in org.sonar.java.se.checks
ObjectOutputStreamCheck() - Constructor for class org.sonar.java.se.checks.ObjectOutputStreamCheck
of(Flow) - Static method in class org.sonar.java.se.Flow
of(JavaFileScannerContext.Location) - Static method in class org.sonar.java.se.Flow
OPEN - Enum constant in enum org.sonar.java.se.checks.UnclosedResourcesCheck.ResourceConstraint
openingMethod - Variable in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck
operand - Variable in class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
OptionalGetBeforeIsPresentCheck - Class in org.sonar.java.se.checks
OptionalGetBeforeIsPresentCheck() - Constructor for class org.sonar.java.se.checks.OptionalGetBeforeIsPresentCheck
org.sonar.java.se - package org.sonar.java.se
org.sonar.java.se.checks - package org.sonar.java.se.checks
org.sonar.java.se.constraint - package org.sonar.java.se.constraint
org.sonar.java.se.symbolicvalues - package org.sonar.java.se.symbolicvalues
org.sonar.java.se.xproc - package org.sonar.java.se.xproc
OrSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.OrSymbolicValue

P

Pair<A,B> - Class in org.sonar.java.se
Pair(A, B) - Constructor for class org.sonar.java.se.Pair
parameterCausingExceptionIndex() - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
ParameterNullnessCheck - Class in org.sonar.java.se.checks
ParameterNullnessCheck() - Constructor for class org.sonar.java.se.checks.ParameterNullnessCheck
parameters() - Method in class org.sonar.java.se.xproc.MethodBehavior
parametersAfterInvocation(List<SymbolicValue>, List<Type>, ProgramState) - Method in class org.sonar.java.se.xproc.MethodYield
parent() - Method in class org.sonar.java.se.ExplodedGraph.Edge
parent() - Method in class org.sonar.java.se.ExplodedGraph.Node
parents() - Method in class org.sonar.java.se.ExplodedGraph.Node
PARSING_METHODS - Static variable in class org.sonar.java.se.checks.XxeProcessingCheck
peek(String) - Method in class org.sonar.java.se.xproc.BehaviorCache: Do not trigger any new computation of method behavior, just check if there is a known method behavior for the symbol.
peekMethodBehavior(Symbol.MethodSymbol) - Method in class org.sonar.java.se.CheckerDispatcher
peekMethodBehavior(Symbol.MethodSymbol) - Method in class org.sonar.java.se.ExplodedGraphWalker
peekValue() - Method in class org.sonar.java.se.ProgramState
peekValue(int) - Method in class org.sonar.java.se.ProgramState
peekValues(int) - Method in class org.sonar.java.se.ProgramState
peekValuesAndSymbols(int) - Method in class org.sonar.java.se.ProgramState
peekValueSymbol() - Method in class org.sonar.java.se.ProgramState
Pop(ProgramState, List<ProgramState.SymbolicValueSymbol>) - Constructor for class org.sonar.java.se.ProgramState.Pop
programPoint - Variable in class org.sonar.java.se.ExplodedGraph.Node
ProgramPoint - Class in org.sonar.java.se
ProgramPoint(CFG.IBlock<?>) - Constructor for class org.sonar.java.se.ProgramPoint
programState - Variable in class org.sonar.java.se.checks.CheckerTreeNodeVisitor
programState - Variable in class org.sonar.java.se.ExplodedGraph.Node
ProgramState - Class in org.sonar.java.se
ProgramState.Pop - Class in org.sonar.java.se
ProgramState.SymbolicValueSymbol - Class in org.sonar.java.se: This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd
properties() - Method in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude
properties() - Method in interface org.sonar.java.se.checks.XxeProperty
put(Constraint) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
put(Symbol, SymbolicValue) - Method in class org.sonar.java.se.ProgramState: To be used only by the ExplodedGraphWalker only, when manipulating program states.

R

RedundantAssignmentsCheck - Class in org.sonar.java.se.checks
RedundantAssignmentsCheck() - Constructor for class org.sonar.java.se.checks.RedundantAssignmentsCheck
references(SymbolicValue) - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue
references(SymbolicValue) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
references(SymbolicValue) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
RelationalSymbolicValue - Class in org.sonar.java.se.symbolicvalues
RelationalSymbolicValue(RelationalSymbolicValue.Kind) - Constructor for class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
RelationalSymbolicValue.Kind - Enum in org.sonar.java.se.symbolicvalues
RelationalSymbolicValue.TransitiveRelationExceededException - Exception Class in org.sonar.java.se.symbolicvalues
remove(Class<? extends Constraint>) - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
removeConstraintsOnDomain(SymbolicValue, Class<? extends Constraint>) - Method in class org.sonar.java.se.ProgramState
reportIssue(Tree, String) - Method in class org.sonar.java.se.checks.SECheck
reportIssue(Tree, String, Set<Flow>) - Method in class org.sonar.java.se.checks.SECheck
reportIssue(Tree, SECheck, String) - Method in interface org.sonar.java.se.CheckerContext
reportIssue(Tree, SECheck, String) - Method in class org.sonar.java.se.CheckerDispatcher
reportIssue(Tree, SECheck, String, Set<Flow>) - Method in interface org.sonar.java.se.CheckerContext
reportIssue(Tree, SECheck, String, Set<Flow>) - Method in class org.sonar.java.se.CheckerDispatcher
resultConstraint() - Method in class org.sonar.java.se.xproc.HappyPathYield
resultIndex() - Method in class org.sonar.java.se.xproc.HappyPathYield
reverse() - Method in class org.sonar.java.se.Flow
rightSymbol() - Method in class org.sonar.java.se.symbolicvalues.BinarySymbolicValue

S

scan(List<? extends Tree>) - Method in class org.sonar.java.se.checks.CheckerTreeNodeVisitor
scan(ListTree<? extends Tree>) - Method in class org.sonar.java.se.checks.CheckerTreeNodeVisitor
scan(Tree) - Method in class org.sonar.java.se.checks.CheckerTreeNodeVisitor
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.InvariantReturnCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.NonNullSetToNullCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.NoWayOutLoopCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.NullDereferenceCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.RedundantAssignmentsCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.SECheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.checks.UnclosedResourcesCheck
scanFile(JavaFileScannerContext) - Method in class org.sonar.java.se.SymbolicExecutionVisitor
SECheck - Class in org.sonar.java.se.checks
SECheck() - Constructor for class org.sonar.java.se.checks.SECheck
SECheck.SEIssue - Class in org.sonar.java.se.checks
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing
SECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd
securedConstraint() - Method in interface org.sonar.java.se.checks.XxeProperty
SEIssue(Tree, String, Set<Flow>) - Constructor for class org.sonar.java.se.checks.SECheck.SEIssue
serialize(MethodBehavior, Type, JsonSerializationContext) - Method in class org.sonar.java.se.xproc.MethodBehaviorJsonAdapter
setAsExceptional() - Method in class org.sonar.java.se.Flow.Builder
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.AndSymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.InstanceOfSymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.NotSymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.OrSymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
setConstraint(ProgramState, BooleanConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.XorSymbolicValue
setConstraint(ProgramState, Constraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
setConstraint(ProgramState, Constraint, Set<RelationalSymbolicValue>) - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
setConstraint(ProgramState, Constraint, Set<RelationalSymbolicValue>) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
setConstraint(ProgramState, ObjectConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
setDeclaredExceptions(List<String>) - Method in class org.sonar.java.se.xproc.MethodBehavior
setExceptionType(String) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
setExceptionType(String) - Method in class org.sonar.java.se.xproc.ExceptionalYield
setField(boolean) - Method in class org.sonar.java.se.checks.XxeProcessingCheck.XxeSymbolicValue
setFileContext(SymbolicExecutionVisitor) - Method in class org.sonar.java.se.xproc.BehaviorCache
setResult(int, ConstraintsByDomain) - Method in class org.sonar.java.se.xproc.HappyPathYield
setSingleConstraint(ProgramState, ObjectConstraint) - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
setValueFactory(SymbolicValueFactory) - Method in class org.sonar.java.se.constraint.ConstraintManager
setVarArgs(boolean) - Method in class org.sonar.java.se.xproc.MethodBehavior
shouldTrackConstraint(Constraint) - Method in class org.sonar.java.se.checks.AbstractXMLProcessing
shouldTrackConstraint(Constraint) - Method in class org.sonar.java.se.checks.AllowXMLInclusionCheck
shouldTrackConstraint(Constraint) - Method in class org.sonar.java.se.checks.DenialOfServiceXMLCheck
shouldTrackConstraint(Constraint) - Method in class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
siblings() - Method in class org.sonar.java.se.ExplodedGraph.Node
signature() - Method in class org.sonar.java.se.xproc.MethodBehavior
stackValue(SymbolicValue) - Method in class org.sonar.java.se.ProgramState
stackValue(SymbolicValue, Symbol) - Method in class org.sonar.java.se.ProgramState
state - Variable in class org.sonar.java.se.ProgramState.Pop
statesAfterInvocation(List<SymbolicValue>, List<Type>, ProgramState, Supplier<SymbolicValue>) - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
statesAfterInvocation(List<SymbolicValue>, List<Type>, ProgramState, Supplier<SymbolicValue>) - Method in class org.sonar.java.se.xproc.ExceptionalYield
statesAfterInvocation(List<SymbolicValue>, List<Type>, ProgramState, Supplier<SymbolicValue>) - Method in class org.sonar.java.se.xproc.HappyPathYield
statesAfterInvocation(List<SymbolicValue>, List<Type>, ProgramState, Supplier<SymbolicValue>) - Method in class org.sonar.java.se.xproc.MethodYield
storeExitValue() - Method in class org.sonar.java.se.ProgramState
storeExitValue(SymbolicValue) - Method in class org.sonar.java.se.ProgramState
stream() - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
stream() - Method in class org.sonar.java.se.Flow
StreamConsumedCheck - Class in org.sonar.java.se.checks: Note that StreamNotConsumedCheck is implemented by using constraints set by this check
StreamConsumedCheck() - Constructor for class org.sonar.java.se.checks.StreamConsumedCheck
StreamConsumedCheck.StreamPipelineConstraint - Enum in org.sonar.java.se.checks
StreamNotConsumedCheck - Class in org.sonar.java.se.checks: This check is used just to report issues.
StreamNotConsumedCheck() - Constructor for class org.sonar.java.se.checks.StreamNotConsumedCheck
symbol() - Method in class org.sonar.java.se.LearnedAssociation
symbol() - Method in class org.sonar.java.se.ProgramState.SymbolicValueSymbol
SymbolicExecutionVisitor - Class in org.sonar.java.se
SymbolicExecutionVisitor(List<SECheck>) - Constructor for class org.sonar.java.se.SymbolicExecutionVisitor
symbolicValue() - Method in class org.sonar.java.se.LearnedAssociation
symbolicValue() - Method in class org.sonar.java.se.LearnedConstraint
symbolicValue() - Method in class org.sonar.java.se.ProgramState.SymbolicValueSymbol
SymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue
SymbolicValue.AndSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.BooleanExpressionSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.BooleanSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.CaughtExceptionSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.ExceptionalSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.InstanceOfSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.NotSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.OrSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.UnarySymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValue.XorSymbolicValue - Class in org.sonar.java.se.symbolicvalues
SymbolicValueFactory - Interface in org.sonar.java.se
SymbolicValueSymbol(SymbolicValue, Symbol) - Constructor for class org.sonar.java.se.ProgramState.SymbolicValueSymbol
syntaxTree() - Method in class org.sonar.java.se.ProgramPoint
SyntaxTreeNameFinder - Class in org.sonar.java.se.checks
SyntaxTreeNameFinder() - Constructor for class org.sonar.java.se.checks.SyntaxTreeNameFinder

T

TooManyNestedBooleanStatesException() - Constructor for exception class org.sonar.java.se.ExplodedGraphWalker.TooManyNestedBooleanStatesException
toString() - Method in class org.sonar.java.se.constraint.ConstraintsByDomain
toString() - Method in class org.sonar.java.se.ExplodedGraph.Node
toString() - Method in class org.sonar.java.se.LearnedAssociation
toString() - Method in class org.sonar.java.se.LearnedConstraint
toString() - Method in class org.sonar.java.se.ProgramPoint
toString() - Method in class org.sonar.java.se.ProgramState.SymbolicValueSymbol
toString() - Method in class org.sonar.java.se.ProgramState
toString() - Method in class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.AndSymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.ExceptionalSymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.NotSymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.OrSymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue
toString() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue.XorSymbolicValue
toString() - Method in class org.sonar.java.se.xproc.ExceptionalCheckBasedYield
toString() - Method in class org.sonar.java.se.xproc.ExceptionalYield
toString() - Method in class org.sonar.java.se.xproc.HappyPathYield
toString() - Method in class org.sonar.java.se.xproc.MethodBehavior
toString() - Method in class org.sonar.java.se.xproc.MethodYield
TransitiveRelationExceededException(String) - Constructor for exception class org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.TransitiveRelationExceededException
TRUE - Enum constant in enum org.sonar.java.se.constraint.BooleanConstraint
TRUE_LITERAL - Static variable in class org.sonar.java.se.symbolicvalues.SymbolicValue
type - Variable in class org.sonar.java.se.constraint.TypedConstraint
TypedConstraint - Class in org.sonar.java.se.constraint
TypedConstraint(String) - Constructor for class org.sonar.java.se.constraint.TypedConstraint

U

UnarySymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.UnarySymbolicValue
UnclosedResourcesCheck - Class in org.sonar.java.se.checks
UnclosedResourcesCheck() - Constructor for class org.sonar.java.se.checks.UnclosedResourcesCheck
UnclosedResourcesCheck.ResourceConstraint - Enum in org.sonar.java.se.checks
UNLOCKED - Enum constant in enum org.sonar.java.se.checks.LocksNotUnlockedCheck.LockConstraint
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing
UNSECURED - Enum constant in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd
UNSECURED_USE_EMPTY_STRING_TO_PROTECT_AGAINST_XXE - Static variable in interface org.sonar.java.se.checks.XxeProperty
unsecuredConstraint() - Method in interface org.sonar.java.se.checks.XxeProperty
unstackValue(int) - Method in class org.sonar.java.se.ProgramState

V

valueAsString() - Method in class org.sonar.java.se.checks.CustomUnclosedResourcesCheck.CustomResourceConstraint
valueAsString() - Method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint
valueAsString() - Method in enum org.sonar.java.se.checks.LocksNotUnlockedCheck.LockConstraint
valueAsString() - Method in enum org.sonar.java.se.checks.UnclosedResourcesCheck.ResourceConstraint
valueAsString() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD
valueAsString() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema
valueAsString() - Method in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet
valueAsString() - Method in enum org.sonar.java.se.constraint.BooleanConstraint
valueAsString() - Method in interface org.sonar.java.se.constraint.Constraint
valueAsString() - Method in enum org.sonar.java.se.constraint.ObjectConstraint
valueOf(String) - Static method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.LocksNotUnlockedCheck.LockConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.StreamConsumedCheck.StreamPipelineConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.UnclosedResourcesCheck.ResourceConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetValidating: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetXIncludeAware: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeEntityResolver: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeSetExpandEntity: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.constraint.BooleanConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.constraint.ObjectConstraint: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind: Returns the enum constant of this type with the specified name.
values - Variable in class org.sonar.java.se.ProgramState.Pop
values() - Static method in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.LocksNotUnlockedCheck.LockConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.StreamConsumedCheck.StreamPipelineConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.UnclosedResourcesCheck.ResourceConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetValidating: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XmlSetXIncludeAware: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeEntityResolver: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProcessingCheck.XxeSetExpandEntity: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeDTD: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeSchema: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.AttributeStyleSheet: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureDisallowDoctypeDecl: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureExternalGeneralEntities: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureIsSupportingExternalEntities: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureLoadExternalDtd: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureSecureProcessing: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureSupportDtd: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.checks.XxeProperty.FeatureXInclude: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.constraint.BooleanConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.constraint.ObjectConstraint: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.sonar.java.se.symbolicvalues.RelationalSymbolicValue.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
valuesAndSymbols - Variable in class org.sonar.java.se.ProgramState.Pop
visitBinaryExpression(BinaryExpressionTree) - Method in class org.sonar.java.se.checks.CheckerTreeNodeVisitor
visited() - Method in class org.sonar.java.se.xproc.MethodBehavior
visitedPoint(ProgramPoint, int) - Method in class org.sonar.java.se.ProgramState
visitIdentifier(IdentifierTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitMemberSelectExpression(MemberSelectExpressionTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitMethod(MethodTree) - Method in class org.sonar.java.se.ExplodedGraphWalker
visitMethod(MethodTree, MethodBehavior) - Method in class org.sonar.java.se.ExplodedGraphWalker
visitMethodInvocation(MethodInvocationTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitNode(Tree) - Method in class org.sonar.java.se.SymbolicExecutionVisitor
visitParenthesized(ParenthesizedTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitSwitchStatement(SwitchStatementTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitTypeCast(TypeCastTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder
visitVariable(VariableTree) - Method in class org.sonar.java.se.checks.SyntaxTreeNameFinder

W

withEntryException(SymbolicValue.ExceptionalSymbolicValue) - Method in class org.sonar.java.se.ProgramState
wrappedValue() - Method in class org.sonar.java.se.symbolicvalues.SymbolicValue

X

XmlParserLoadsExternalSchemasCheck - Class in org.sonar.java.se.checks
XmlParserLoadsExternalSchemasCheck() - Constructor for class org.sonar.java.se.checks.XmlParserLoadsExternalSchemasCheck
XmlValidatedSignatureCheck - Class in org.sonar.java.se.checks
XmlValidatedSignatureCheck() - Constructor for class org.sonar.java.se.checks.XmlValidatedSignatureCheck
XorSymbolicValue() - Constructor for class org.sonar.java.se.symbolicvalues.SymbolicValue.XorSymbolicValue
XxeProcessingCheck - Class in org.sonar.java.se.checks
XxeProcessingCheck() - Constructor for class org.sonar.java.se.checks.XxeProcessingCheck
XxeProcessingCheck.XmlSetValidating - Enum in org.sonar.java.se.checks
XxeProcessingCheck.XmlSetXIncludeAware - Enum in org.sonar.java.se.checks
XxeProcessingCheck.XxeEntityResolver - Enum in org.sonar.java.se.checks
XxeProcessingCheck.XxeSetExpandEntity - Enum in org.sonar.java.se.checks
XxeProcessingCheck.XxeSymbolicValue - Class in org.sonar.java.se.checks
XxeProperty - Interface in org.sonar.java.se.checks: A property is independently a XXE feature or XXE attribute
XxeProperty.AttributeDTD - Enum in org.sonar.java.se.checks
XxeProperty.AttributeSchema - Enum in org.sonar.java.se.checks
XxeProperty.AttributeStyleSheet - Enum in org.sonar.java.se.checks
XxeProperty.FeatureDisallowDoctypeDecl - Enum in org.sonar.java.se.checks
XxeProperty.FeatureExternalGeneralEntities - Enum in org.sonar.java.se.checks
XxeProperty.FeatureIsSupportingExternalEntities - Enum in org.sonar.java.se.checks
XxeProperty.FeatureLoadExternalDtd - Enum in org.sonar.java.se.checks
XxeProperty.FeatureSecureProcessing - Enum in org.sonar.java.se.checks
XxeProperty.FeatureSupportDtd - Enum in org.sonar.java.se.checks
XxeProperty.FeatureXInclude - Enum in org.sonar.java.se.checks
XxeProperty.XxePropertyHolder - Class in org.sonar.java.se.checks
XxePropertyHolder(String, Constraint, BiPredicate<SymbolicValue, ExpressionTree>, Constraint, BiPredicate<SymbolicValue, ExpressionTree>, Constraint) - Constructor for class org.sonar.java.se.checks.XxeProperty.XxePropertyHolder

Y

yields() - Method in class org.sonar.java.se.ExplodedGraph.Edge
yields() - Method in class org.sonar.java.se.xproc.MethodBehavior

Z

ZERO - Enum constant in enum org.sonar.java.se.checks.DivisionByZeroCheck.ZeroConstraint

A B C D E F G H I K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form