hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Instantiate flow barrier guards from MaD

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-03-17 13:16:25 +00:00
parent 7d65baccb2
commit 769b3a6aae
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll
View File

@@ -256,6 +256,24 @@ private class FlowBarrierFromModel extends FlowBarrier::Range {
}
}
private class FlowBarrierGuardFromModel extends FlowBarrierGuard::Range {
private string path;
FlowBarrierGuardFromModel() {
barrierGuardModel(path, _, _, _, _, _) and
this.callResolvesTo(path)
}
override predicate isBarrierGuard(
string input, string branch, string kind, Provenance provenance, string model
) {
exists(QlBuiltins::ExtensionId madId |
barrierGuardModel(path, input, branch, kind, provenance, madId) and
model = "MaD:" + madId.toString()
)
}
}
private module Debug {
private import FlowSummaryImpl
private import Private