Frama-C API - `S`

The four abstractions used in an Eva analysis.

module Ctx : Abstract.Context.External

module Val : Value_with_reduction with type context = Ctx.t

module Loc : Abstract.Location.External with type value = Val.t

module Dom : Abstract.Domain.External with type value = Val.t and type location = Loc.location and type context = Ctx.t

Frama-C API - S