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)