codeql/cpp-all
0.12.11
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Represents that a relation is ‘non-strict’ (that is, a <= or >= relation)
<=
>=
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
Nonstrict Nonstrict()