Skip to main content

value_range_analysis_ty

oxilean_std::static_analysis::functions

Function value_range_analysis_ty 

Source 
pub fn value_range_analysis_ty() -> Expr
Expand description

ValueRangeAnalysis : Program → Var → IntervalDomain Compute abstract value ranges for all variables.