Previous  Up  Next

Module Metrics_cabs

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