let lval_or_absolute_to_offsetmap state lva = match lva with | LVal lv -> !Db.Value.lval_to_offsetmap_state state lv | AbsoluteMem -> try Some (Cvalue.Model.find_base Base.null state) with Not_found -> None