PBSOI CISG MVP v0.2 — Data/State Closure

MVP pipeline

Repository → Source fingerprint → AST/Symbols → SSA-like Data Flow → State Regions → Exception Flow → Typed CISG → Findings / Motifs

v0.2 adds versioned local values, conservative phi merges, state regions, explicit raise/except flow, and definition-time alias edges. Dynamic points-to and concurrency remain unresolved by design.

Metrics

{
  "loaded_files": 7,
  "nodes": 536,
  "edges": 1138,
  "node_types": {
    "file": 7,
    "function": 27,
    "class": 1,
    "method": 2,
    "boundary_module": 7,
    "data_value": 168,
    "data_sink": 42,
    "control": 73,
    "data_use": 34,
    "data_phi": 49,
    "data_undefined": 35,
    "boundary_call": 65,
    "state_region": 9,
    "module_binding": 9,
    "exception_event": 3,
    "boundary_exception": 1,
    "exception_handler": 3,
    "effect": 1
  },
  "edge_types": {
    "contains": 30,
    "imports": 27,
    "defines": 217,
    "contains_data": 76,
    "returns_value": 97,
    "controls": 73,
    "flows_to": 198,
    "guards": 78,
    "phi_input": 98,
    "calls": 196,
    "aliases_at_definition": 5,
    "reads_state": 16,
    "reads_binding": 10,
    "raises": 3,
    "exception_flow": 2,
    "contains_exception_handler": 3,
    "caught_by": 1,
    "effect": 1,
    "writes_state": 7
  },
  "resolved_local_calls": 34,
  "boundary_calls": 162,
  "findings_by_category": {
    "defect": 4,
    "hotspot": 16
  },
  "findings_by_severity": {
    "high": 2,
    "medium": 2,
    "info": 16
  },
  "motif_instances": 16,
  "motif_clusters": 7,
  "data_values": 168,
  "phi_nodes": 49,
  "data_edges": 693,
  "alias_edges": 5,
  "state_regions": 9,
  "state_reads": 16,
  "state_writes": 7,
  "module_binding_reads": 10,
  "exception_handlers": 3,
  "explicit_raises": 3,
  "unresolved_local_uses": 0,
  "warnings": 0
}

Warnings

• None