# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      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
    data:
      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
  - addsTo:
      pack: codeql/rust-all
      extensible: sourceModel
    data:
      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::check_file", "ReturnValue", "file", "df-generated"]
      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::finalize", "ReturnValue", "file", "df-generated"]