package frama-c

  1. Overview
  2. Docs
Platform dedicated to the analysis of source code written in C

Install 

dune-project
 Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

  1. M
    Michele Alberti
  2. T
    Thibaud Antignac
  3. G
    Gergö Barany
  4. P
    Patrick Baudin
  5. T
    Thibaut Benjamin
  6. A
    Allan Blanchard
  7. L
    Lionel Blatter
  8. F
    François Bobot
  9. R
    Richard Bonichon
  10. Q
    Quentin Bouillaguet
  11. D
    David Bühler
  12. Z
    Zakaria Chihani
  13. L
    Loïc Correnson
  14. J
    Julien Crétin
  15. P
    Pascal Cuoq
  16. Z
    Zaynah Dargaye
  17. B
    Basile Desloges
  18. J
    Jean-Christophe Filliâtre
  19. P
    Philippe Herrmann
  20. M
    Maxime Jacquemin
  21. F
    Florent Kirchner
  22. A
    Alexander Kogtenkov
  23. T
    Tristan Le Gall
  24. J
    Jean-Christophe Léchenet
  25. M
    Matthieu Lemerre
  26. D
    Dara Ly
  27. D
    David Maison
  28. C
    Claude Marché
  29. A
    André Maroneze
  30. T
    Thibault Martin
  31. F
    Fonenantsoa Maurica
  32. M
    Melody Méaulle
  33. B
    Benjamin Monate
  34. Y
    Yannick Moy
  35. A
    Anne Pacalet
  36. V
    Valentin Perrelle
  37. G
    Guillaume Petiot
  38. D
    Dario Pinto
  39. V
    Virgile Prevosto
  40. A
    Armand Puccetti
  41. F
    Félix Ridoux
  42. V
    Virgile Robles
  43. M
    Muriel Roger
  44. J
    Julien Signoles
  45. N
    Nicolas Stouls
  46. K
    Kostyantyn Vorobyov
  47. B
    Boris Yakobowski

Maintainers

  1. F
    frama-ci-bot@frama-c.com

Sources

frama-c-27.0-beta-Cobalt.tar.gz
sha256=9c1b14a689ac8ccda9e827c2eede13bb8d781fb8e4e33c1b5360408e312127d2

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

Module Sarif.ToolComponentSource

Sourcemodule Contents : sig ... end
Sourcetype t = {
  1. guid : string;
  2. name : string;
  3. organization : string;
  4. product : string;
  5. productSuite : string;
  6. shortDescription : MultiformatMessageString.t;
  7. fullDescription : MultiformatMessageString.t;
  8. fullName : string;
  9. version : string;
  10. semanticVersion : string;
  11. dottedQuadFileVersion : string;
  12. releaseDateUtc : string;
  13. downloadUri : string;
  14. informationUri : string;
  15. globalMessageStrings : MultiformatMessageStringDictionary.t;
  16. notifications : ReportingDescriptor.t list;
  17. rules : ReportingDescriptor.t list;
  18. taxa : ReportingDescriptor.t list;
  19. locations : ArtifactLocation.t list;
  20. language : string;
  21. contents : Contents.t list;
  22. isComprehensive : bool;
  23. localizedDataSemanticVersion : string;
  24. minimumRequiredLocalizedDataSemanticVersion : string;
  25. associateComponent : ToolComponentReference.t;
  26. translationMetadata : TranslationMetadata.t;
  27. supportedTaxonomies : ToolComponentReference.t list;
  28. properties : Properties.t;
}
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval create : ?guid:string -> name:string -> ?organization:string -> ?product:string -> ?productSuite:string -> ?shortDescription:MultiformatMessageString.t -> ?fullDescription:MultiformatMessageString.t -> ?fullName:string -> ?version:string -> ?semanticVersion:string -> ?dottedQuadFileVersion:string -> ?releaseDateUtc:string -> ?downloadUri:string -> ?informationUri:string -> ?globalMessageStrings:MultiformatMessageStringDictionary.t -> ?notifications:ReportingDescriptor.t list -> ?rules:ReportingDescriptor.t list -> ?taxa:ReportingDescriptor.t list -> ?locations:ArtifactLocation.t list -> ?language:string -> ?contents:Contents.t list -> ?isComprehensive:bool -> ?localizedDataSemanticVersion:string -> ?minimumRequiredLocalizedDataSemanticVersion:string -> ?associateComponent:ToolComponentReference.t -> ?translationMetadata:TranslationMetadata.t -> ?supportedTaxonomies:ToolComponentReference.t list -> ?properties:Properties.t -> unit -> t
Sourceval default : t