hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 06:42:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add RangeIndexNode

Browse Source
This commit is contained in:
Sauyon Lee
2021-10-05 08:15:02 -07:00
committed by Owen Mansel-Chan
parent 3750af41d3
commit bebdb0ba53
1 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
View File

@@ -1080,6 +1080,32 @@ module Public {
/** Gets the data-flow node representing the base from which the element is read. */
DataFlow::Node getBase() { result = base }
}
/**
* A data-flow node representing an index of an array, map, slice or string defined from `range` statement.
*
* Example: in `i, _ := range y { ... }`, this represents the `Node` that extracts the index from the
* range statement, which will flow to `x`.
*/
class RangeIndexNode extends Node {
DataFlow::Node base;
RangeIndexNode() {
exists(IR::ExtractTupleElementInstruction extract |
this.asInstruction() = extract and
extract.extractsElement(_, 0) and
extract.getBase().(IR::GetNextEntryInstruction).getDomain() = base.asInstruction()
)
or
not exists(IR::ExtractTupleElementInstruction extract |
extract.getBase() = this.asInstruction()
) and
base.asInstruction() = this.asInstruction().(IR::GetNextEntryInstruction).getDomain()
}
/** Gets the data-flow node representing the base from which the element is read. */
DataFlow::Node getBase() { result = base }
}
}
private import Private