Frama-C:
Plug-ins:
Libraries:

Frama-C API - Sarif_result

type t = {
  1. ruleId : string;
  2. kind : Result_kind.t;
  3. level : Result_level.t;
  4. message : Message.t;
  5. analysisTarget : ArtifactLocation.t;
  6. locations : Location.t list;
  7. instanceGuid : string;
  8. correlationGuid : string;
  9. occurrenceCount : int;
  10. partialFingerprints : Additional_properties.t;
  11. fingerprints : Additional_properties.t;
  12. stacks : Stack.t list;
  13. codeFlows : CodeFlow.t list;
  14. graphs : Graph_dictionary.t;
  15. graphTraversals : GraphTraversal.t list;
  16. relatedLocations : Location.t list;
  17. suppressionStates : Result_suppressionState.t list;
  18. baselineState : Result_baselineState.t;
  19. attachments : Attachment.t list;
  20. workItemsUris : string list;
  21. conversionProvenance : PhysicalLocation.t list;
  22. fixes : Fix.t list;
  23. 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 : ruleId:string -> ?kind:Result_kind.t -> ?level:Result_level.t -> ?message:Message.t -> ?analysisTarget:ArtifactLocation.t -> ?locations:Location.t list -> ?instanceGuid:string -> ?correlationGuid:string -> ?occurrenceCount:int -> ?partialFingerprints:Additional_properties.t -> ?fingerprints:Additional_properties.t -> ?stacks:Stack.t list -> ?codeFlows:CodeFlow.t list -> ?graphs:Graph_dictionary.t -> ?graphTraversals:GraphTraversal.t list -> ?relatedLocations:Location.t list -> ?suppressionStates:Result_suppressionState.t list -> ?baselineState:Result_baselineState.t -> ?attachments:Attachment.t list -> ?workItemsUris:string list -> ?conversionProvenance:PhysicalLocation.t list -> ?fixes:Fix.t list -> ?properties:Properties.t -> unit -> t