Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

AbstractDomain

A lattice-based abstract domain for static analysis.

Functions

abstract_div

Compute the abstract division a / b for intervals. Returns Top (full interval) if b contains 0.

narrow_env

Narrowing operator for interval environments.

widen_env

Widening operator for interval environments.