mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
9 lines
281 B
Plaintext
9 lines
281 B
Plaintext
import experimental.semmle.code.cpp.rangeanalysis.ExtendedRangeAnalysis
|
|
|
|
from Operation expr, float lower, float upper
|
|
where
|
|
(expr instanceof BitwiseAndExpr or expr instanceof AssignAndExpr) and
|
|
lower = lowerBound(expr) and
|
|
upper = upperBound(expr)
|
|
select expr, lower, upper
|