package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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