Module C.Cstubs

module Assigns : sig ... end

Generic handler of assigns clauses and primed variables.

module Aux_vars : sig ... end

Common auxiliary variables used by stubs transfer functions

module Builtins : sig ... end

Evaluation of stub builtins: bytes, size, base, offset and valid_ptr

module Resources : sig ... end

Common transfer functions for handling C stubs