Module `Sarif.Run`Source

Sourcetype t = {

tool : Tool.t;
invocations : Invocation.t list;
conversion : Conversion.t;
language : string;
versionControlProvenance : VersionControlDetails.t list;
originalUriBaseIds : ArtifactLocationDictionary.t;
artifacts : Artifact.t list;
logicalLocations : LogicalLocation.t list;
graphs : Graph.t list;
results : Sarif_result.t list;
automationDetails : RunAutomationDetails.t;
runAggregates : RunAutomationDetails.t list;
baselineGuid : string;
redactionToken : string list;
defaultEncoding : string;
defaultSourceLanguage : string;
newlineSequences : string list;
columnKind : ColumnKind.t;
externalPropertyFileReferences : ExternalPropertyFileReferences.t;
threadFlowLocations : ThreadFlowLocation.t list;
taxonomies : ToolComponent.t list;
addresses : Address.t list;
translations : ToolComponent.t list;
policies : ToolComponent.t list;
webRequests : WebRequest.t list;
webResponses : WebResponse.t list;
specialLocations : SpecialLocations.t;
properties : Properties.t;

}

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val create : 
  tool:Tool.t ->
  ?invocations:Invocation.t list ->
  ?conversion:Conversion.t ->
  ?language:string ->
  ?versionControlProvenance:VersionControlDetails.t list ->
  ?originalUriBaseIds:ArtifactLocationDictionary.t ->
  ?artifacts:Artifact.t list ->
  ?logicalLocations:LogicalLocation.t list ->
  ?graphs:Graph.t list ->
  ?results:Sarif_result.t list ->
  ?automationDetails:RunAutomationDetails.t ->
  ?runAggregates:RunAutomationDetails.t list ->
  ?baselineGuid:string ->
  ?redactionToken:string list ->
  ?defaultEncoding:string ->
  ?defaultSourceLanguage:string ->
  ?newlineSequences:string list ->
  ?columnKind:ColumnKind.t ->
  ?externalPropertyFileReferences:ExternalPropertyFileReferences.t ->
  ?threadFlowLocations:ThreadFlowLocation.t list ->
  ?taxonomies:ToolComponent.t list ->
  ?addresses:Address.t list ->
  ?translations:ToolComponent.t list ->
  ?policies:ToolComponent.t list ->
  ?webRequests:WebRequest.t list ->
  ?webResponses:WebResponse.t list ->
  ?specialLocations:SpecialLocations.t ->
  ?properties:Properties.t ->
  unit ->
  t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c-markdown-report.core/Markdown_report/Sarif/Run/index.html

Module `Sarif.Run`Source

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c-markdown-report.core/Markdown_report/Sarif/Run/index.html

Module Sarif.RunSource

Module `Sarif.Run`Source