hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Run autoformatter

Browse Source
This commit is contained in:
Robin Neatherway
2019-10-31 11:21:57 +00:00
parent 96f9a01355
commit d3016e5b98
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
java/ql/src/semmle/code/java/dataflow/Nullness.qll
View File

@@ -143,11 +143,16 @@ private ControlFlowNode varDereference(SsaVariable v, VarAccess va) {
* subsequent use, either by dereferencing it or by an assertion.
*/
private ControlFlowNode ensureNotNull(SsaVariable v) {
result = varDereference(v, _) or
result.(AssertStmt).getExpr() = nullGuard(v, true, false) or
exists(AssertTrueMethod m | result = m.getACheck(nullGuard(v, true, false))) or
exists(AssertFalseMethod m | result = m.getACheck(nullGuard(v, false, false))) or
exists(AssertNotNullMethod m | result = m.getACheck(v.getAUse())) or
result = varDereference(v, _)
or
result.(AssertStmt).getExpr() = nullGuard(v, true, false)
or
exists(AssertTrueMethod m | result = m.getACheck(nullGuard(v, true, false)))
or
exists(AssertFalseMethod m | result = m.getACheck(nullGuard(v, false, false)))
or
exists(AssertNotNullMethod m | result = m.getACheck(v.getAUse()))
or
exists(AssertThatMethod m, MethodAccess ma |
result = m.getACheck(v.getAUse()) and ma.getControlFlowNode() = result
|