package frama-c

  1. Overview
  2. Docs
On This Page
  1. Libraries
    1. qed
    2. frama-c.analysis-scripts
    3. frama-c.boot
    4. frama-c.gui
    5. frama-c.init.cmdline
    6. frama-c.init.gui
    7. frama-c.kernel
    8. frama-c-wp.core
    9. frama-c-wp.gui
    10. frama-c-variadic.core
    11. frama-c-users.core
    12. frama-c-studia.core
    13. frama-c-studia.gui
    14. frama-c-sparecode.core
    15. frama-c-slicing.core
    16. frama-c-slicing.gui
    17. frama-c-server.core
    18. frama-c-security_slicing.core
    19. frama-c-security_slicing.gui
    20. frama-c-scope.core
    21. frama-c-scope.gui
    22. frama-c-rtegen.core
    23. frama-c-rtegen.gui
    24. frama-c-report.core
    25. frama-c-reduc.core
    26. frama-c-postdominators.core
    27. frama-c-pdg.core
    28. frama-c-pdg.types.core
    29. frama-c-occurrence.core
    30. frama-c-occurrence.gui
    31. frama-c-obfuscator.core
    32. frama-c-nonterm.core
    33. frama-c-metrics.core
    34. frama-c-metrics.gui
    35. frama-c-markdown-report.core
    36. frama-c-markdown-report.eva-info.core
    37. frama-c-loop-analysis.core
    38. frama-c-instantiate.core
    39. frama-c-inout.core
    40. frama-c-impact.core
    41. frama-c-impact.gui
    42. frama-c-from.core
    43. frama-c-from.gui
    44. frama-c-eva.core
    45. frama-c-eva.gui
    46. frama-c-e-acsl.core
    47. frama-c-dive.core
    48. frama-c-constant_propagation.core
    49. frama-c-callgraph.core
    50. frama-c-api-generator.core
    51. frama-c-aorai.core
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

frama-c 27.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

qed

Documentation:

frama-c.analysis-scripts

Documentation:

frama-c.boot

Documentation:

frama-c.gui

Documentation:

frama-c.init.cmdline

Documentation:

frama-c.init.gui

Documentation:

frama-c.kernel

Documentation:

frama-c-wp.core

Documentation:

  • Wp This the API of the WP plug-in

frama-c-wp.gui

Documentation:

frama-c-variadic.core

Documentation:

frama-c-users.core

Documentation:

frama-c-studia.core

Documentation:

frama-c-studia.gui

Documentation:

frama-c-sparecode.core

Documentation:

frama-c-slicing.core

Documentation:

frama-c-slicing.gui

Documentation:

frama-c-server.core

Documentation:

frama-c-security_slicing.core

Documentation:

frama-c-security_slicing.gui

Documentation:

frama-c-scope.core

Documentation:

frama-c-scope.gui

Documentation:

frama-c-rtegen.core

Documentation:

  • RteGen Consult internal plug-in documentation for more details

frama-c-rtegen.gui

Documentation:

frama-c-report.core

Documentation:

frama-c-reduc.core

Documentation:

frama-c-postdominators.core

Documentation:

frama-c-pdg.core

Documentation:

  • Pdg Program Dependences Graph.

frama-c-pdg.types.core

Documentation:

frama-c-occurrence.core

Documentation:

frama-c-occurrence.gui

Documentation:

frama-c-obfuscator.core

Documentation:

frama-c-nonterm.core

Documentation:

frama-c-metrics.core

Documentation:

frama-c-metrics.gui

Documentation:

frama-c-markdown-report.core

Documentation:

frama-c-markdown-report.eva-info.core

Documentation:

frama-c-loop-analysis.core

Documentation:

frama-c-instantiate.core

Documentation:

frama-c-inout.core

Documentation:

frama-c-impact.core

Documentation:

frama-c-impact.gui

Documentation:

frama-c-from.core

Documentation:

frama-c-from.gui

Documentation:

frama-c-eva.core

Documentation:

  • Eva Eva public API.

frama-c-eva.gui

Documentation:

frama-c-e-acsl.core

Documentation:

frama-c-dive.core

Documentation:

frama-c-constant_propagation.core

Documentation:

frama-c-callgraph.core

Documentation:

frama-c-api-generator.core

Documentation:

frama-c-aorai.core

Documentation:

  • Aorai Aorai plugin (AKA Ltl_to_acsl). No function is directly exported: they are registered in Db.Aorai.
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct