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