Struct AbstractInterpInfo 

pub struct AbstractInterpInfo {
    pub state_in: HashMap<BlockId, AbstractState>,
    pub state_out: HashMap<BlockId, AbstractState>,
    pub potential_div_zero: Vec<(usize, String)>,
    pub potential_null_deref: Vec<(usize, String)>,
    pub function_name: String,
}

Abstract interpretation analysis results for a function.

Contains the dataflow information at each block entry/exit, plus detected potential issues (div-by-zero, null deref).

Query Methods

The struct provides convenient query methods:

• value_at(block, var) - Get value at block entry
• value_at_exit(block, var) - Get value at block exit
• range_at(block, var) - Get range at block entry
• type_at(block, var) - Get type at block entry
• is_definitely_not_null(block, var) - Check if non-null at block entry
• get_constants() - Get all constant values at function exit

JSON Output (CAP-AI-22)

{
  "function": "example",
  "state_in": { "0": { "x": {...} }, ... },
  "state_out": { "0": { "x": {...} }, ... },
  "potential_div_zero": [{"line": 10, "var": "y"}],
  "potential_null_deref": [{"line": 15, "var": "obj"}]
}

Fields

state_in: HashMap<BlockId, AbstractState>

Abstract state at entry of each block

state_out: HashMap<BlockId, AbstractState>

Abstract state at exit of each block

potential_div_zero: Vec<(usize, String)>

CAP-AI-10: Potential division-by-zero warnings (line, var)

potential_null_deref: Vec<(usize, String)>

CAP-AI-11: Potential null dereference warnings (line, var)

function_name: String

Function name

Implementations

impl AbstractInterpInfo

pub fn new(function_name: &str) -> Self

Create a new empty result for a function

pub fn value_at(&self, block: BlockId, var: &str) -> AbstractValue

Get abstract value of variable at entry to block

Returns top() if the block is not found or variable is not tracked.

pub fn value_at_exit(&self, block: BlockId, var: &str) -> AbstractValue

Get abstract value of variable at exit of block

Returns top() if the block is not found or variable is not tracked.

pub fn range_at( &self, block: BlockId, var: &str, ) -> Option<(Option<i64>, Option<i64>)>

Get the value range for variable at block entry

Returns None if the variable has no range information.

pub fn type_at(&self, block: BlockId, var: &str) -> Option<String>

Get the inferred type for variable at block entry

Returns None if the type is unknown.

pub fn is_definitely_not_null(&self, block: BlockId, var: &str) -> bool

Check if variable is definitely non-null at block entry

Returns true only if nullable == Never.

pub fn get_constants(&self) -> HashMap<String, ConstantValue>

CAP-AI-12: Get all variables with known constant values at function exit

Scans all state_out blocks and collects variables with constant values.

pub fn to_json(&self) -> Value

CAP-AI-22: Serialize to JSON-compatible structure

Output format matches v1 CLI for compatibility.

Trait Implementations

impl Clone for AbstractInterpInfo

fn clone(&self) -> AbstractInterpInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AbstractInterpInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AbstractInterpInfo

fn default() -> AbstractInterpInfo

Returns the “default value” for a type.