mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
9 lines
378 B
Plaintext
9 lines
378 B
Plaintext
import cpp
|
|
|
|
from AnalysedExpr a, LocalScopeVariable v, string isNullCheck, string isValidCheck
|
|
where
|
|
v.getAnAccess().getEnclosingStmt() = a.getParent() and
|
|
(if a.isNullCheck(v) then isNullCheck = "is null" else isNullCheck = "is not null") and
|
|
(if a.isValidCheck(v) then isValidCheck = "is valid" else isValidCheck = "is not valid")
|
|
select a, v, isNullCheck, isValidCheck
|