For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Bound

Module Bound

A bound that may be inferred for an expression plus/minus an integer delta.


                                import semmle.code.csharp.dataflow.Bound

getExpr	Gets an expression that equals this bound plus `delta`.
getExpr	Gets an expression that equals this bound.
hasLocationInfo	Holds if this element is at the specified location. The location spans column `sc` of line `sl` to column `ec` of line `el` in file `path`. For more information, see Locations.
toString	Gets a textual representation of this bound.