diff --git a/rust/ql/lib/codeql/rust/frameworks/empty.model.yml b/rust/ql/lib/codeql/rust/frameworks/empty.model.yml new file mode 100644 index 00000000000..dc2aad32991 --- /dev/null +++ b/rust/ql/lib/codeql/rust/frameworks/empty.model.yml @@ -0,0 +1,27 @@ +extensions: + # Make sure that the extensible model predicates have at least one definition + # to avoid errors about undefined extensionals. + - addsTo: + pack: codeql/rust-all + extensible: sourceModel + data: [] + - addsTo: + pack: codeql/rust-all + extensible: sinkModel + data: [] + - addsTo: + pack: codeql/rust-all + extensible: summaryModel + data: [] + - addsTo: + pack: codeql/rust-all + extensible: excludeFieldTaintStep + data: [] + - addsTo: + pack: codeql/rust-all + extensible: neutralModel + data: [] + - addsTo: + pack: codeql/rust-all + extensible: additionalExternalFile + data: []