Module RangeAnalysisUtil
This file contains the range-analysis specific parts of the cpp/invalid-pointer-deref
and cpp/overrun-write query.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisUtilAliases
| bounded | Holds if |
This file contains the range-analysis specific parts of the cpp/invalid-pointer-deref
and cpp/overrun-write query.
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisUtil| bounded | Holds if |