Uses of Class
org.sonar.java.se.checks.SECheck

Packages that use SECheck

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

Uses of SECheck in org.sonar.java.se

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

Modifier and Type	Method	Description
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)
void	CheckerContext.reportIssue(Tree tree, SECheck check, String message)
void	CheckerContext.reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)
void	CheckerDispatcher.reportIssue(Tree tree, SECheck check, String message)
void	CheckerDispatcher.reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)

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

Modifier	Constructor	Description
	CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker, List<SECheck> checks, JavaFileScannerContext scannerContext)
protected	ExplodedGraphWalker(List<SECheck> seChecks, BehaviorCache behaviorCache, JavaFileScannerContext context)
	ExplodedGraphWalkerFactory(List<SECheck> activeSEChecks)
	SymbolicExecutionVisitor(List<SECheck> seChecks)

Uses of SECheck in org.sonar.java.se.checks

Subclasses of SECheck in org.sonar.java.se.checks

Modifier and Type	Class	Description
class	AbstractXMLProcessing
class	AllowXMLInclusionCheck	This check uses the symbolic value and constraints set by XxeProcessingCheck.
class	BooleanGratuitousExpressionsCheck
class	ConditionalUnreachableCodeCheck
class	CustomUnclosedResourcesCheck
class	DenialOfServiceXMLCheck	This check uses the symbolic value and constraints set by XxeProcessingCheck.
class	DivisionByZeroCheck
class	InvariantReturnCheck
class	LocksNotUnlockedCheck
class	MapComputeIfAbsentOrPresentCheck
class	MinMaxRangeCheck
class	NonNullSetToNullCheck
class	NoWayOutLoopCheck
class	NullDereferenceCheck
class	ObjectOutputStreamCheck
class	OptionalGetBeforeIsPresentCheck
class	ParameterNullnessCheck
class	RedundantAssignmentsCheck
class	StreamConsumedCheck	Note that StreamNotConsumedCheck is implemented by using constraints set by this check
class	StreamNotConsumedCheck	This check is used just to report issues.
class	UnclosedResourcesCheck
class	XmlParserLoadsExternalSchemasCheck
class	XmlValidatedSignatureCheck
class	XxeProcessingCheck

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

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

Modifier and Type	Method	Description
Class<? extends SECheck>	ExceptionalCheckBasedYield.check()

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

Modifier and Type	Method	Description
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)
boolean	ExceptionalCheckBasedYield.generatedByCheck(SECheck check)
boolean	MethodYield.generatedByCheck(SECheck check)

Constructor parameters in org.sonar.java.se.xproc with type arguments of type SECheck

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