org.sonar.java.se.checks

Class SECheck

java.lang.Object

org.sonar.java.se.checks.SECheck

All Implemented Interfaces:

JavaCheck, JavaFileScanner, org.sonar.squidbridge.api.CodeVisitor

Direct Known Subclasses:

ConditionAlwaysTrueOrFalseCheck, CustomUnclosedResourcesCheck, DivisionByZeroCheck, LocksNotUnlockedCheck, NonNullSetToNullCheck, NoWayOutLoopCheck, NullDereferenceCheck, OptionalGetBeforeIsPresentCheck, UnclosedResourcesCheck

public abstract class SECheck
extends Object
implements JavaFileScanner

Constructor Summary

Constructors

Constructor and Description
SECheck()

Method Summary

Modifier and Type	Method and Description
void	checkEndOfExecution(CheckerContext context)
void	checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
ProgramState	checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	checkPreStatement(CheckerContext context, Tree syntaxNode)
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal)
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow)
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal)
void	init(MethodTree methodTree, CFG cfg)
void	interruptedExecution(CheckerContext context)
void	reportIssue(Tree tree, String message, Set<List<JavaFileScannerContext.Location>> flows)
void	scanFile(JavaFileScannerContext context) Method called after parsing and semantic analysis has been done on file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SECheck

public SECheck()

Method Detail

init

public void init(MethodTree methodTree,
                 CFG cfg)

checkPreStatement

public ProgramState checkPreStatement(CheckerContext context,
                                      Tree syntaxNode)

checkPostStatement

public ProgramState checkPostStatement(CheckerContext context,
                                       Tree syntaxNode)

checkEndOfExecution

public void checkEndOfExecution(CheckerContext context)

checkEndOfExecutionPath

public void checkEndOfExecutionPath(CheckerContext context,
                                    ConstraintManager constraintManager)

scanFile

public void scanFile(JavaFileScannerContext context)

Description copied from interface: JavaFileScanner

Method called after parsing and semantic analysis has been done on file.

Specified by:

scanFile in interface JavaFileScanner

Parameters:

context - Context of analysis containing the parsed tree.

reportIssue

public void reportIssue(Tree tree,
                        String message,
                        Set<List<JavaFileScannerContext.Location>> flows)

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         SymbolicValue currentVal)

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         SymbolicValue currentVal,
                                                         Predicate<Constraint> addToFlow)

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         SymbolicValue currentVal,
                                                         Predicate<Constraint> addToFlow,
                                                         Predicate<Constraint> terminateTraversal)

interruptedExecution

public void interruptedExecution(CheckerContext context)