Module relation_inference 

Relation Inference - Memory relationship graph construction.

Infers relationships between heap allocations by analyzing pointer patterns, content similarity, and allocation metadata.

Supported Relations

Relation	Meaning	Signal
Owner	A holds a pointer into B	Pointer scan + RangeMap
Slice	A is a sub-region of B	Pointer falls inside B (not at start)
Clone	A is a copy of B	Same type/size/stack + content match

Architecture

ActiveAllocation + MemoryView
       │
       ▼
  UTI Engine (TypeGuess)
       │
       ▼
  RangeMap (address → alloc index)
       │
       ▼
  Relation Engine (Owner / Slice / Clone)
       │
       ▼
  RelationGraph

Structs

CloneConfig

Configuration for clone detection.

ContainerConfig

Configuration for container relation detection.

GraphBuilderConfig

Configuration for the relation graph builder.

InferenceRecord

Inference record combining allocation metadata with memory content.

RangeMap

An index structure that maps memory addresses to allocation indices.

RelationEdge

An edge in the relation graph.

RelationGraph

A relation graph connecting allocations.

RelationGraphBuilder

Builds a relation graph from active allocations.

Enums

Relation

A relationship between two allocations in the graph.

Functions

detect_clones

Detect Clone relationships among all inference records.

detect_containers

Detect Contains relationships between Container and HeapOwner allocations.

detect_owner

Detect Owner relationships by scanning an allocation’s memory for pointers.

detect_shared

detect_slice

Detect Slice relationships for all allocations.