C++: Add 'asIndirectInstruction' as a public predicate.

2026-04-26 01:05:15 +02:00 · 2026-03-23 13:28:33 +00:00
parent 09caeca7e9
commit 1363c54a9f
1 changed files with 6 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
@@ -321,6 +321,12 @@ module Public {
     */
    Operand asIndirectOperand(int index) { hasOperandAndIndex(this, result, index) }

+    /**
+     * Gets the instruction that is indirectly tracked by this node behind
+     * `index` number of indirections.
+     */
+    Instruction asIndirectInstruction(int index) { hasInstructionAndIndex(this, result, index) }
+
    /**
     * Holds if this node is at index `i` in basic block `block`.
     *