module Metrics_cabs:sig
..end
Metrics computing on Cabs
Syntactic metrics usually makes more sense on Cabs as they reference the original program.
However, one loses CIL facilities for this purpose. Thus, working on Cabs is less developer-friendly.
Implementation of cyclomatic complexity measures on CAbs' AST
val compute_on_cabs : unit -> unit
Main entry point to compute various metrics on Cabs AST instead of CIL AST.
module Halstead:sig
..end
Halstead metrics computation