hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 13:15:21 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
d1d6b520e18fbbe4e2d21dfdd37b4831e9833dfe
codeql/cpp/ql/lib/change-notes/2025-01-13-indirect-instruction-barrier-guard.md
Mathias Vorreiter Pedersen d9d0d9348c C++: Add change note.
2025-01-13 18:53:59 +00:00

356 B
Raw Blame History

category
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.