hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from code review

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Geoffrey White
2024-03-01 17:04:34 +00:00
committed by GitHub
parent 1fece75f15
commit 0e24ed14da
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -276,7 +276,7 @@ signature module Semantic {
} }
/** /**
* A single update to a variable in the SSA form. * An SSA variable representing the value of an explicit update of the source variable.
*/ */
class SsaExplicitUpdate extends SsaVariable { class SsaExplicitUpdate extends SsaVariable {
/** /**
@@ -374,17 +374,21 @@ signature module LangSig<Semantic Sem, DeltaSig D> {
signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> { signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> {
/** /**
* A semantic bound, which defines a constraint on the possible values of an * A bound that the range analysis can infer for a variable. This includes
* expression. * constant bounds represented by the abstract value zero, SSA bounds for when
* a variable is bounded by the value of a different variable, and possibly
* other abstract values that may be useful variable bounds. Since all bounds
* are combined with an integer delta there's no need to represent constant
* bounds other than zero.
*/ */
class SemBound { class SemBound {
/** /**
* Gets a string representation of the semantic bound. * Gets a string representation of this bound.
*/ */
string toString(); string toString();
/** /**
* Gets the location of the semantic bound. * Gets the location of this bound.
*/ */
Location getLocation(); Location getLocation();