Predicate guardedAbs
Holds if the value of use is guarded using abs.
Import path
import semmle.code.cpp.security.Overflowpredicate guardedAbs(Operation e, Expr use)Holds if the value of use is guarded using abs.
import semmle.code.cpp.security.Overflowpredicate guardedAbs(Operation e, Expr use)