C++: Add change note.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-13 18:53:59 +00:00
parent 91992e2f3f
commit d9d0d9348c

View File

@@ -0,0 +1,4 @@
---
category: feature
---
* Add a new predicate `getAnIndirectBarrier` to the parameterized module `InstructionBarrierGuard` in `semmle.code.cpp.dataflow.new.DataFlow` for computing indirect dataflow nodes that are guarded by a given instruction. This predicate is similar to the `getAnIndirectBarrier` predicate on the parameterized module `BarrierGuard`.