Frama-C API - `Studia`

Computations of the statements that write a given memory zone.

include sig ... end

module Writes : sig ... end

module Reads : sig ... end

Computations of the statements that read a given memory zone.

Internal use only

module Options : sig ... end