From baab74cb3524733f6a561bfd332d17e50333cc62 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Wed, 16 Oct 2024 17:45:44 +0100 Subject: [PATCH] C++: Add change notes. --- .../change-notes/2024-10-16-function-pointer-resolution.md | 4 ++++ .../2024-10-16-new-api-for-call-target-resolution.md | 4 ++++ 2 files changed, 8 insertions(+) create mode 100644 cpp/ql/lib/change-notes/2024-10-16-function-pointer-resolution.md create mode 100644 cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md diff --git a/cpp/ql/lib/change-notes/2024-10-16-function-pointer-resolution.md b/cpp/ql/lib/change-notes/2024-10-16-function-pointer-resolution.md new file mode 100644 index 000000000000..d682ee78d592 --- /dev/null +++ b/cpp/ql/lib/change-notes/2024-10-16-function-pointer-resolution.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The function call target resolution algorithm has been improved to resolve more calls through function pointers. As a result, dataflow queries may have more results. \ No newline at end of file diff --git a/cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md b/cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md new file mode 100644 index 000000000000..2e1898845f3c --- /dev/null +++ b/cpp/ql/lib/change-notes/2024-10-16-new-api-for-call-target-resolution.md @@ -0,0 +1,4 @@ +--- +category: feature +--- +* Added a new predicate `DataFlow::getARuntimeTarget` for getting a function that may be invoked by a `Call` expression. Unlike `Call.getTarget` this new predicate may also resolves function pointers. \ No newline at end of file