qtil
advanced-security/qtil-cpp 0.0.4
Search

Predicate maybeNull

Holds if a simple data-flow analysis determines that e may be null.

Import path

import semmle.code.cpp.controlflow.Dataflow
predicate maybeNull(Expr e)