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