Frama-C:
Plug-ins:
Libraries:

Frama-C API - Run

type t = {
  1. tool : Tool.t;
  2. invocations : Invocation.t list;
  3. conversion : Conversion.t;
  4. language : string;
  5. versionControlProvenance : VersionControlDetails.t list;
  6. originalUriBaseIds : ArtifactLocationDictionary.t;
  7. artifacts : Artifact.t list;
  8. logicalLocations : LogicalLocation.t list;
  9. graphs : Graph.t list;
  10. results : Sarif_result.t list;
  11. automationDetails : RunAutomationDetails.t;
  12. runAggregates : RunAutomationDetails.t list;
  13. baselineGuid : string;
  14. redactionToken : string list;
  15. defaultEncoding : string;
  16. defaultSourceLanguage : string;
  17. newlineSequences : string list;
  18. columnKind : ColumnKind.t;
  19. externalPropertyFileReferences : ExternalPropertyFileReferences.t;
  20. threadFlowLocations : ThreadFlowLocation.t list;
  21. taxonomies : ToolComponent.t list;
  22. addresses : Address.t list;
  23. translations : ToolComponent.t list;
  24. policies : ToolComponent.t list;
  25. webRequests : WebRequest.t list;
  26. webResponses : WebResponse.t list;
  27. specialLocations : SpecialLocations.t;
  28. 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