Module Languages.Stubs

module Alarms : sig ... end

Stub alarms

module Ast : sig ... end

Abstract Syntax Tree for stub specification. Similar to the AST of the parser, except for expressions, types and variables for which MOPSA counterparts are used.

module Body : sig ... end

Inter-procedural iterator of stubs by inlining.

module Fallback : sig ... end

Fallback transfer functions

module Soundness : sig ... end

Soundness assumptions