Predicate missingGuardAgainstOverflow
Holds if e potentially overflows and use is an operand of e that is not guarded.
Import path
import semmle.code.cpp.security.Overflowpredicate missingGuardAgainstOverflow(Operation e, VariableAccess use)Holds if e potentially overflows and use is an operand of e that is not guarded.
import semmle.code.cpp.security.Overflowpredicate missingGuardAgainstOverflow(Operation e, VariableAccess use)