Sarif.Run
type 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; |
}
val to_yojson : t -> Yojson.Safe.t
val 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