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

Go: Fix a couple more spelling errors.

Browse Source
This commit is contained in:
Michael Nebel
2025-09-02 10:47:36 +02:00
parent d0323a6425
commit 55e5281429
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
go/ql/src/experimental/IntegerOverflow/RangeAnalysis.qll
View File

@@ -74,7 +74,7 @@ float getAnUpperBound(Expr expr) {
result = getAnUpperBound(greater.asExpr()) + bias result = getAnUpperBound(greater.asExpr()) + bias
) )
else else
//If not, find the coresponding `SsaDefinition`, then call `getAnSsaUpperBound` on it. //If not, find the corresponding `SsaDefinition`, then call `getAnSsaUpperBound` on it.
result = getAnSsaUpperBound(v.getDefinition()) result = getAnSsaUpperBound(v.getDefinition())
) )
) )
@@ -231,7 +231,7 @@ float getALowerBound(Expr expr) {
result = lbs - bias result = lbs - bias
) )
else else
//find coresponding SSA definition and calls `getAnSsaLowerBound` on it. //find corresponding SSA definition and calls `getAnSsaLowerBound` on it.
result = getAnSsaLowerBound(v.getDefinition()) result = getAnSsaLowerBound(v.getDefinition())
) )
) )
@@ -351,7 +351,7 @@ float getAnSsaUpperBound(SsaDefinition def) {
( (
def instanceof SsaExplicitDefinition and def instanceof SsaExplicitDefinition and
exists(SsaExplicitDefinition explicitDef | explicitDef = def | exists(SsaExplicitDefinition explicitDef | explicitDef = def |
//SSA definition coresponding to a `SimpleAssignStmt` //SSA definition corresponding to a `SimpleAssignStmt`
if explicitDef.getInstruction() instanceof IR::AssignInstruction if explicitDef.getInstruction() instanceof IR::AssignInstruction
then then
exists(IR::AssignInstruction assignInstr, SimpleAssignStmt simpleAssign | exists(IR::AssignInstruction assignInstr, SimpleAssignStmt simpleAssign |
@@ -360,7 +360,7 @@ float getAnSsaUpperBound(SsaDefinition def) {
result = getAnUpperBound(simpleAssign.getRhs()) result = getAnUpperBound(simpleAssign.getRhs())
) )
or or
//SSA definition coresponding to a ValueSpec(used in a variable declaration) //SSA definition corresponding to a ValueSpec(used in a variable declaration)
exists(IR::AssignInstruction declInstr, ValueSpec vs, int i, Expr init | exists(IR::AssignInstruction declInstr, ValueSpec vs, int i, Expr init |
declInstr = explicitDef.getInstruction() and declInstr = explicitDef.getInstruction() and
declInstr = IR::initInstruction(vs, i) and declInstr = IR::initInstruction(vs, i) and
@@ -368,7 +368,7 @@ float getAnSsaUpperBound(SsaDefinition def) {
result = getAnUpperBound(init) result = getAnUpperBound(init)
) )
or or
//SSA definition coresponding to an `AddAssignStmt` (x += y) or `SubAssignStmt` (x -= y) //SSA definition corresponding to an `AddAssignStmt` (x += y) or `SubAssignStmt` (x -= y)
exists( exists(
IR::AssignInstruction assignInstr, SsaExplicitDefinition prevDef, IR::AssignInstruction assignInstr, SsaExplicitDefinition prevDef,
CompoundAssignStmt compoundAssign, float prevBound, float delta CompoundAssignStmt compoundAssign, float prevBound, float delta
@@ -388,7 +388,7 @@ float getAnSsaUpperBound(SsaDefinition def) {
) )
) )
else else
//SSA definition coresponding to an `IncDecStmt` //SSA definition corresponding to an `IncDecStmt`
if explicitDef.getInstruction() instanceof IR::IncDecInstruction if explicitDef.getInstruction() instanceof IR::IncDecInstruction
then then
exists(IncDecStmt incOrDec, IR::IncDecInstruction instr, float exprLB | exists(IncDecStmt incOrDec, IR::IncDecInstruction instr, float exprLB |
@@ -521,13 +521,13 @@ float getAnSsaLowerBound(SsaDefinition def) {
* The structure of this function needs to be same as `getAnSsaLowerBound` * The structure of this function needs to be same as `getAnSsaLowerBound`
*/ */
predicate ssaDependsOnSsa(SsaDefinition nextDef, SsaDefinition prevDef) { predicate ssaDependsOnSsa(SsaDefinition nextDef, SsaDefinition prevDef) {
//SSA definition coresponding to a `SimpleAssignStmt` //SSA definition corresponding to a `SimpleAssignStmt`
exists(SimpleAssignStmt simpleAssign | exists(SimpleAssignStmt simpleAssign |
nextDef.(SsaExplicitDefinition).getInstruction() = IR::assignInstruction(simpleAssign, _) and nextDef.(SsaExplicitDefinition).getInstruction() = IR::assignInstruction(simpleAssign, _) and
ssaDependsOnExpr(prevDef, simpleAssign.getRhs()) ssaDependsOnExpr(prevDef, simpleAssign.getRhs())
) )
or or
//SSA definition coresponding to a `ValueSpec`(used in variable declaration) //SSA definition corresponding to a `ValueSpec`(used in variable declaration)
exists(IR::AssignInstruction declInstr, ValueSpec vs, int i, Expr init | exists(IR::AssignInstruction declInstr, ValueSpec vs, int i, Expr init |
declInstr = nextDef.(SsaExplicitDefinition).getInstruction() and declInstr = nextDef.(SsaExplicitDefinition).getInstruction() and
declInstr = IR::initInstruction(vs, i) and declInstr = IR::initInstruction(vs, i) and
@@ -535,7 +535,7 @@ predicate ssaDependsOnSsa(SsaDefinition nextDef, SsaDefinition prevDef) {
ssaDependsOnExpr(prevDef, init) ssaDependsOnExpr(prevDef, init)
) )
or or
//SSA definition coresponding to a `AddAssignStmt` or `SubAssignStmt` //SSA definition corresponding to a `AddAssignStmt` or `SubAssignStmt`
exists(CompoundAssignStmt compoundAssign | exists(CompoundAssignStmt compoundAssign |
(compoundAssign instanceof AddAssignStmt or compoundAssign instanceof SubAssignStmt) and (compoundAssign instanceof AddAssignStmt or compoundAssign instanceof SubAssignStmt) and
nextDef.(SsaExplicitDefinition).getInstruction() = IR::assignInstruction(compoundAssign, 0) and nextDef.(SsaExplicitDefinition).getInstruction() = IR::assignInstruction(compoundAssign, 0) and
@@ -545,7 +545,7 @@ predicate ssaDependsOnSsa(SsaDefinition nextDef, SsaDefinition prevDef) {
) )
) )
or or
//SSA definition coresponding to a `IncDecStmt` //SSA definition corresponding to a `IncDecStmt`
exists(IncDecStmt incDec | exists(IncDecStmt incDec |
nextDef nextDef
.(SsaExplicitDefinition) .(SsaExplicitDefinition)
@@ -557,7 +557,7 @@ predicate ssaDependsOnSsa(SsaDefinition nextDef, SsaDefinition prevDef) {
ssaDependsOnExpr(prevDef, incDec.getOperand()) ssaDependsOnExpr(prevDef, incDec.getOperand())
) )
or or
//if `nextDef` coresponding to the init of a parameter, there is no coresponding `prevDef` //if `nextDef` corresponding to the init of a parameter, there is no corresponding `prevDef`
//if `nextDef` is a phi node and `prevDef` is one of the input of the phi node, then `nextDef` depends on `prevDef` directly. //if `nextDef` is a phi node and `prevDef` is one of the input of the phi node, then `nextDef` depends on `prevDef` directly.
exists(SsaPhiNode phi | nextDef = phi and phi.getAnInput().getDefinition() = prevDef) exists(SsaPhiNode phi | nextDef = phi and phi.getAnInput().getDefinition() = prevDef)
} }