Expand description
Data flow analysis infrastructure for tracking variable mutations and state transitions.
This module provides the data structures and utilities for analyzing how data flows through functions, including variable bindings, mutations, and cross-function data dependencies. The analysis is used to detect impure functions and state mutation patterns.
§Key Components
- DataFlowGraph: Tracks variable definitions, uses, and mutations
- Population utilities: Functions for building graphs from call graph analysis
- Serialization: Custom serialization for FunctionId-keyed maps
Modules§
- population
- Data flow graph population from various analysis sources.
Structs§
- CfgAnalysis
With Context - CFG-based data flow analysis with variable name context for translation.
- Data
Flow Graph - DataFlowGraph provides data flow analysis capabilities built on top of the CallGraph. It tracks variable dependencies, data transformations, and information flow between functions.
- Data
Transformation - IoOperation
- Modification
Impact - Mutation
Info - Mutation analysis information for a function. Uses binary signals for reliability - precise counts are not guaranteed.
- Purity
Info