Frama-C:

Kernel
Analysis scripts

Plug-ins:

Libraries:

Qed

Features
Documentation
Publications
Blog
Jobs
Contact
Download

API > frama-c-metrics > Metrics > Metrics_cilast

Frama-C API - `Metrics_cilast`

See Metrics_cilast.

val get_metrics_map : libc:bool -> Metrics_base.BasicMetrics.t Metrics_base.OptionKf.Map.t Frama_c_kernel.Filepath.Map.t

Copyright © 2007-2025 Frama-C. All Rights Reserved.

Terms Of Use
Authors
Acknowledgements