public class NullDereferenceCheck extends SECheck
| Constructor and Description |
|---|
NullDereferenceCheck() |
| 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) |
void |
init(MethodTree methodTree,
CFG cfg) |
void |
interruptedExecution(CheckerContext context) |
reportIssue, scanFilepublic void init(MethodTree methodTree, CFG cfg)
public ProgramState checkPreStatement(CheckerContext context, Tree syntaxNode)
checkPreStatement in class SECheckpublic ProgramState checkPostStatement(CheckerContext context, Tree syntaxNode)
checkPostStatement in class SECheckpublic void checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
checkEndOfExecutionPath in class SECheckpublic void checkEndOfExecution(CheckerContext context)
checkEndOfExecution in class SECheckpublic void interruptedExecution(CheckerContext context)
interruptedExecution in class SECheckCopyright © 2012–2017 SonarSource. All rights reserved.