hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: regenerate MaD models

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-06-05 10:08:47 +02:00
parent f4bbef9769
commit ec77eb3ec8
60 changed files with 3518 additions and 562 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/lib/ext/generated/libc/repo-https-github.com-rust-lang-libc-libc-test.model.yml
View File

@@ -5,7 +5,6 @@ extensions:
extensible: summaryModel
data:
- ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::check_file", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::reset_state", "Argument[self].Field[crate::style::StyleChecker::errors]", "Argument[self].Reference.Field[crate::style::StyleChecker::errors]", "value", "dfc-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sinkModel