package frama-c

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

frama-c

API

Library Pdg_types

Library crowbar_utils

Library frama-c-acsl-importer.core

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.numerors

No module.

Library frama-c-eva.server_api

Library frama-c-from.core

Library frama-c-impact.core

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-markdown-report.eva-info

No module.

Library frama-c-metrics.core

Library frama-c-nonterm.core

Library frama-c-obfuscator.core

Library frama-c-occurrence.core

Library frama-c-pdg.core

  • Pdg Program Dependences Graph.

Library frama-c-pdg.types

No module.

Library frama-c-reduc.core

Library frama-c-region.core

Library frama-c-report.core

Library frama-c-rtegen.core

  • RteGen Consult internal plug-in documentation for more details

Library frama-c-scope.core

Library frama-c-security_slicing.core

Library frama-c-server.core

Library frama-c-slicing.core

Library frama-c-sparecode.core

Library frama-c-studia.core

Library frama-c-volatile.core

Library frama-c-wp.core

  • Wp This the API of the WP plug-in

Library frama-c.analysis-scripts

Library frama-c.boot

Library frama-c.fc_internal_z

  • Fc_internal_z This module/library is used to avoid shadowing Z from Zarith in our own Z module.

Library frama-c.init

Library frama-c.kernel

Library markdown_report_eva_info

Library numerors

Library ppx_z_literals

Library qed