Type Alias cwe_checker_lib::analysis::pointer_inference::ValueDomain

pub type ValueDomain = IntervalDomain;

The abstract domain to use for absolute values.

Aliased Type

struct ValueDomain { /* private fields */ }