CodeQL library for C/C++
codeql/cpp-all 0.4.4 (changelog, source)
Search

Predicate missingGuardAgainstUnderflow

Holds if e potentially underflows and use is an operand of e that is not guarded.

Import path

import semmle.code.cpp.security.Overflow
predicate missingGuardAgainstUnderflow(Operation e, VariableAccess use)