Predicate defMightOverflowNegatively
Holds if the definition might overflow negatively.
Import path
import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysis
predicate
defMightOverflowNegatively
(
RangeSsaDefinition
def
,
StackVariable
v
)