# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Diagnostics.Tracing", "DiagnosticCounter", False, "AddMetadata", "(System.String,System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "DiagnosticCounter", False, "AddMetadata", "(System.String,System.String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCounter", False, "ToString", "()", "", "Argument[this].Property[System.Diagnostics.Tracing.DiagnosticCounter.Name]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", False, "DisableEvents", "(System.Diagnostics.Tracing.EventSource)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", False, "EnableEvents", "(System.Diagnostics.Tracing.EventSource,System.Diagnostics.Tracing.EventLevel)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", False, "EnableEvents", "(System.Diagnostics.Tracing.EventSource,System.Diagnostics.Tracing.EventLevel,System.Diagnostics.Tracing.EventKeywords)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", False, "EnableEvents", "(System.Diagnostics.Tracing.EventSource,System.Diagnostics.Tracing.EventLevel,System.Diagnostics.Tracing.EventKeywords,System.Collections.Generic.IDictionary<System.String,System.String>)", "", "Argument[3]", "Argument[0].SyntheticField[System.Diagnostics.Tracing.EventSource.m_deferredCommands].Property[System.Diagnostics.Tracing.EventCommandEventArgs.Arguments]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", False, "add_EventSourceCreated", "(System.EventHandler<System.Diagnostics.Tracing.EventSourceCreatedEventArgs>)", "", "Argument[this]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "EventSource", "(System.Diagnostics.Tracing.EventSourceSettings,System.String[])", "", "Argument[1]", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_traits]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "EventSource", "(System.String,System.Guid,System.Diagnostics.Tracing.EventSourceSettings,System.String[])", "", "Argument[0]", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_name]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "EventSource", "(System.String,System.Guid,System.Diagnostics.Tracing.EventSourceSettings,System.String[])", "", "Argument[1]", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_guid]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "EventSource", "(System.String,System.Guid,System.Diagnostics.Tracing.EventSourceSettings,System.String[])", "", "Argument[3]", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_traits]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "GenerateManifest", "(System.Type,System.String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "GenerateManifest", "(System.Type,System.String,System.Diagnostics.Tracing.EventManifestOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "GetTrait", "(System.String)", "", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_traits].Element", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "SendCommand", "(System.Diagnostics.Tracing.EventSource,System.Diagnostics.Tracing.EventCommand,System.Collections.Generic.IDictionary<System.String,System.String>)", "", "Argument[2]", "Argument[0].SyntheticField[System.Diagnostics.Tracing.EventSource.m_deferredCommands].Property[System.Diagnostics.Tracing.EventCommandEventArgs.Arguments]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "add_EventCommandExecuted", "(System.EventHandler<System.Diagnostics.Tracing.EventCommandEventArgs>)", "", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_deferredCommands]", "Argument[0].Parameter[1]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "add_EventCommandExecuted", "(System.EventHandler<System.Diagnostics.Tracing.EventCommandEventArgs>)", "", "Argument[this]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "get_ConstructionException", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "get_Guid", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_guid]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Tracing.EventSource.m_name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", False, "get_ActivityId", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", False, "get_RelatedActivityId", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Tracing", "IncrementingEventCounter", False, "ToString", "()", "", "Argument[this].Property[System.Diagnostics.Tracing.DiagnosticCounter.Name]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "IncrementingPollingCounter", False, "ToString", "()", "", "Argument[this].Property[System.Diagnostics.Tracing.DiagnosticCounter.Name]", "ReturnValue", "taint", "dfc-generated"]
      - ["System.Diagnostics.Tracing", "PollingCounter", False, "ToString", "()", "", "Argument[this].Property[System.Diagnostics.Tracing.DiagnosticCounter.Name]", "ReturnValue", "taint", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Diagnostics.Tracing", "DiagnosticCounter", "Dispose", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "DiagnosticCounter", "get_EventSource", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "DiagnosticCounter", "get_Name", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventAttribute", "EventAttribute", "(System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventAttribute", "get_EventId", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCommandEventArgs", "DisableEvent", "(System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCommandEventArgs", "EnableEvent", "(System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCounter", "EventCounter", "(System.String,System.Diagnostics.Tracing.EventSource)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCounter", "WriteMetric", "(System.Double)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventCounter", "WriteMetric", "(System.Single)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "Dispose", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "EventSourceIndex", "(System.Diagnostics.Tracing.EventSource)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "OnEventSourceCreated", "(System.Diagnostics.Tracing.EventSource)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "OnEventWritten", "(System.Diagnostics.Tracing.EventWrittenEventArgs)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "add_EventWritten", "(System.EventHandler<System.Diagnostics.Tracing.EventWrittenEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "remove_EventSourceCreated", "(System.EventHandler<System.Diagnostics.Tracing.EventSourceCreatedEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventListener", "remove_EventWritten", "(System.EventHandler<System.Diagnostics.Tracing.EventWrittenEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Dispose", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.Diagnostics.Tracing.EventSourceSettings)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.String,System.Diagnostics.Tracing.EventSourceSettings)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.String,System.Diagnostics.Tracing.EventSourceSettings,System.String[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "EventSource", "(System.String,System.Guid)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "GetGuid", "(System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "GetName", "(System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "GetSources", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "IsEnabled", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "IsEnabled", "(System.Diagnostics.Tracing.EventLevel,System.Diagnostics.Tracing.EventKeywords)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "IsEnabled", "(System.Diagnostics.Tracing.EventLevel,System.Diagnostics.Tracing.EventKeywords,System.Diagnostics.Tracing.EventChannel)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "OnEventCommand", "(System.Diagnostics.Tracing.EventCommandEventArgs)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "SetCurrentThreadActivityId", "(System.Guid)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "SetCurrentThreadActivityId", "(System.Guid,System.Guid)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Write", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Write", "(System.String,System.Diagnostics.Tracing.EventSourceOptions)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Write<T>", "(System.String,System.Diagnostics.Tracing.EventSourceOptions,System.Guid,System.Guid,T)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Write<T>", "(System.String,System.Diagnostics.Tracing.EventSourceOptions,T)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "Write<T>", "(System.String,T)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Byte[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Diagnostics.Tracing.EventSource+EventSourcePrimitive[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int32,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int64)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int64,System.Byte[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int64,System.Int64,System.Int64)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Int64,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.Object[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String,System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String,System.Int64)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEvent", "(System.Int32,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEventCore", "(System.Int32,System.Int32,System.Diagnostics.Tracing.EventSource+EventData*)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEventWithRelatedActivityId", "(System.Int32,System.Guid,System.Object[])", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "WriteEventWithRelatedActivityIdCore", "(System.Int32,System.Guid*,System.Int32,System.Diagnostics.Tracing.EventSource+EventData*)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "get_CurrentThreadActivityId", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "get_Settings", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSource", "remove_EventCommandExecuted", "(System.EventHandler<System.Diagnostics.Tracing.EventCommandEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSourceException", "EventSourceException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSourceException", "EventSourceException", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventSourceException", "EventSourceException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", "get_Channel", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", "get_EventId", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", "get_EventSource", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", "get_Task", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "EventWrittenEventArgs", "get_Version", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "IncrementingEventCounter", "Increment", "(System.Double)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "IncrementingEventCounter", "IncrementingEventCounter", "(System.String,System.Diagnostics.Tracing.EventSource)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "IncrementingPollingCounter", "IncrementingPollingCounter", "(System.String,System.Diagnostics.Tracing.EventSource,System.Func<System.Double>)", "summary", "df-generated"]
      - ["System.Diagnostics.Tracing", "PollingCounter", "PollingCounter", "(System.String,System.Diagnostics.Tracing.EventSource,System.Func<System.Double>)", "summary", "df-generated"]
