Skip to content

Add IndirectUninitializedNode and related helper predicates #21458

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jketema merged 12 commits into from
Mar 23, 2026
Merged

Add IndirectUninitializedNode and related helper predicates #21458

Changes from 2 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
6c792e6
Expose the indirection index
jeongsoolee09 Mar 11, 2026
8c03136
Revert "Expose the indirection index"
jeongsoolee09 Mar 13, 2026
d3066af
Create `IndirectUninitializedNode` and add a bridge from it to `Local…
jeongsoolee09 Mar 13, 2026
f8a3ce7
Merge branch 'main' into jeongsoolee09/add-getIndirectionIndex
jeongsoolee09 Mar 14, 2026
3f9ad14
Factor out common code into an abstract private class
jeongsoolee09 Mar 16, 2026
d191d09
Apply suggestions from code review
jeongsoolee09 Mar 19, 2026
dc291ff
Address code review
jeongsoolee09 Mar 19, 2026
356905b
Merge branch 'jeongsoolee09/add-getIndirectionIndex' of github.com:gi…
jeongsoolee09 Mar 19, 2026
d2fcced
Add a `feature` change note
jeongsoolee09 Mar 20, 2026
d4fef1c
Merge branch 'main' into jeongsoolee09/add-getIndirectionIndex
jeongsoolee09 Mar 20, 2026
6ae32f2
Merge branch 'main' into jeongsoolee09/add-getIndirectionIndex
jeongsoolee09 Mar 22, 2026
ee00b98
Update cpp/ql/lib/change-notes/2026-03-20-add-indirect-uninitialized-…
jketema Mar 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -619,7 +619,7 @@ module Public {

/**
* Gets the uninitialized local variable corresponding to this node behind
* the given levels of indirection, if any.
* `index` number of indirections, if any.
*/
LocalVariable asIndirectUninitialized(int index) {
exists(IndirectUninitializedNode indirectUninitializedNode |
Expand All @@ -632,7 +632,7 @@ module Public {

/**
* Gets the uninitialized local variable corresponding to this node behind
* any levels of indirection, if any.
* a number indirections, if any.
*/
LocalVariable asIndirectUninitialized() { result = this.asIndirectUninitialized(_) }

Expand Down Expand Up @@ -812,7 +812,7 @@ module Public {
class IndirectUninitializedNode extends AbstractUninitializedNode {
IndirectUninitializedNode() { indirectionIndex > 0 }

/** Gets the level of indirection to get to this node. */
/** Gets the indirection index of this node. */
int getIndirectionIndex() { result = indirectionIndex }
}

Expand Down
Loading