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