mirror of
https://github.com/github/codeql.git
synced 2026-03-30 20:28:15 +02:00
Rust: Add an empty.model.yml similar to the one in CPP, to avoid errors about missing extensionals.
This commit is contained in:
27
rust/ql/lib/codeql/rust/frameworks/empty.model.yml
Normal file
27
rust/ql/lib/codeql/rust/frameworks/empty.model.yml
Normal file
@@ -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: []
|
||||
Reference in New Issue
Block a user