Add pointer analysis assertion to CHANGELOG.md

pascal-lab · Jan 13, 2024 · 7cb5b37 · 7cb5b37
1 parent 5146b79
commit 7cb5b37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [Unreleased] - 2023-12-20
+## [Unreleased] - 2024-01-13
 
 ### New Features
 - Add side-effect analysis.
@@ -9,6 +9,7 @@
   - Add `Plugin.onPhaseFinish()`.
   - Support specifying multiple method signatures in one `@InvokeHandler` annotation.
   - Add `getInfo()` to call graph edges and pointer flow edges.
+  - Add pointer analysis assertion mechanism.
 - Taint analysis
   - Support specifying IndexRef (e.g., `index: "0[*]"` and `index: "0.f"`) in call sources and parameter sources.
   - Support specifying IndexRef in sinks.