Module StubsSource

Sourcemodule Alarms : sig ... end

Stub alarms

Sourcemodule 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.

Sourcemodule Body : sig ... end

Inter-procedural iterator of stubs by inlining.

Sourcemodule Fallback : sig ... end

Fallback transfer functions

Sourcemodule Soundness : sig ... end

Soundness assumptions