We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 71a3635 commit d1226b7Copy full SHA for d1226b7
1 file changed
shared/rangeanalysis/codeql/rangeanalysis/Bound.qll
@@ -1,7 +1,3 @@
1
-/**
2
- * Provides classes for representing abstract bounds for use in, for example, range analysis.
3
- */
4
-
5
private import codeql.util.Location
6
7
signature module BoundDefinitions<LocationSig Location> {
@@ -36,6 +32,7 @@ signature module BoundDefinitions<LocationSig Location> {
36
32
predicate interestingExprBound(Expr e);
37
33
}
38
34
35
+/** Provides classes for representing abstract bounds for use in, for example, range analysis. */
39
overlay[local?]
40
module Bound<LocationSig Location, BoundDefinitions<Location> Defs> {
41
private import Defs
0 commit comments