From be1af88d23fb212c2846bdc72e322fd049902114 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Thu, 13 Feb 2025 14:12:19 +0000 Subject: [PATCH] C++: Add more QLDoc. --- .../code/cpp/ir/dataflow/internal/SsaInternals.qll | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll index 12587606106..c297732739e 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll @@ -225,10 +225,16 @@ abstract class DefImpl extends TDefImpl { ) } + /** + * Holds if this definition is guaranteed to totally overwrite the + * destination buffer. + */ abstract predicate isCertain(); + /** Gets the value written to the destination variable by this definition. */ abstract Node0Impl getValue(); + /** Gets the operand that represents the address of this definition, if any. */ Operand getAddressOperand() { none() } } @@ -1078,6 +1084,10 @@ class GlobalDef extends DefinitionExt { GlobalDef() { impl = this.getImpl() } + /** + * Gets the global (or `static` local) variable written to by this SSA + * definition. + */ GlobalLikeVariable getVariable() { result = impl.getVariable() } }