package frama-c

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

frama-c

API

Library Pdg_types

Library frama-c-alias.core

  • Alias Interface for the Alias plug-in.

Library frama-c-aorai.core

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

Library frama-c-api-generator.core

Library frama-c-callgraph.core

Library frama-c-constant_propagation.core

Library frama-c-dive.core

Library frama-c-e-acsl.core

Library frama-c-eva.core

  • Eva Eva public API.

Library frama-c-eva.gui

Library frama-c-from.core

Library frama-c-from.gui

Library frama-c-impact.core

Library frama-c-impact.gui

Library frama-c-inout.core

Library frama-c-instantiate.core

Library frama-c-loop-analysis.core

Library frama-c-markdown-report.core

Library frama-c-metrics.core

Library frama-c-metrics.gui

Library frama-c-nonterm.core

Library frama-c-obfuscator.core

Library frama-c-occurrence.core

Library frama-c-occurrence.gui

Library frama-c-pdg.core

  • Pdg Program Dependences Graph.

Library frama-c-reduc.core

Library frama-c-region.core

  • Region Interface for the Region plug-in.

Library frama-c-report.core

Library frama-c-rtegen.core

  • RteGen Consult internal plug-in documentation for more details

Library frama-c-rtegen.gui

Library frama-c-scope.core

Library frama-c-scope.gui

Library frama-c-security_slicing.core

Library frama-c-security_slicing.gui

Library frama-c-server.core

Library frama-c-slicing.core

Library frama-c-slicing.gui

Library frama-c-sparecode.core

Library frama-c-studia.core

Library frama-c-studia.gui

Library frama-c-users.core

Library frama-c-variadic.core

Library frama-c-wp.core

  • Wp This the API of the WP plug-in

Library frama-c-wp.gui

Library frama-c.analysis-scripts

Library frama-c.boot

Library frama-c.gui

Library frama-c.init

No module.

Library frama-c.kernel

Library frama_c_very_first_cmdline

No module.

Library frama_c_very_first_gui

No module.

Library markdown_report_eva_info

Library qed

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