Functors¶
Functor modules contain the metric probes and structural comparisons that feed evaluation. Probes measure a single representation, such as CFG complexity or MDG coupling; profunctors compare programs or program/test structure, such as UAST edit distance and structural coverage.
|
Per-Function Complexity Analysis |
|
Entropy Module Approximates the 'Algorithmic Debt' via Kolmogorov complexity proxy. |
|
CFG complexity probes. |
|
CFG path probes. |
|
Dangerous-API reachability probe (CPG → ℝ). |
|
Taint-flow probe (CPG → ℝ). |
|
Coupling Metrics Quantifies the structural coupling of a module within the dependency graph. |
|
Fan-in / Fan-out Metrics Counts incoming and outgoing CALLS edges for a file and its symbols. |
|
UAST Comparison Module Cross-language structural comparison built on top of UAST kind values. |
|
UAST Signature Module Cheap, language-agnostic structural fingerprints of a UAST root. |
|
Distance Module Provides two structural distance metrics between program ASTs. |
|
CFG Comparison — profunctor D : E × E^op → ℝ restricted to CFGs. |
|
CPG Comparison — profunctor |
|
Topological Semantic Test Coverage via Euler Characteristic Transform (ECT). |
|
MDG Comparison — profunctor |
|
PDG Comparison — profunctor |
|
UAST Comparison Module Cross-language structural comparison built on top of UAST kind values. |
|
Structural test coverage (UAST) PUT-directed recall: how much of the program-under-test's UAST structure is represented in the test suite's UAST, using kind histograms, control-flow profiles, and optional k-gram path overlap. |