Up – Package index » mopsa » Library mopsa.mopsa_analyzer » Mopsa_analyzer » Languages » Universal » Packing » Static

Module `Packing.Static`

Packing functor with static strategy.

This functor lifts an abstract domain to a set of packs with fewer dimensions. Users of the functor need to define a static strategy that gives the packs of a given variable.

The packs are represented as a map from packing keys to abstract elements. Lattice operators are defined pointwise. To compute the post-state of a statement, the functor inspects the statement to extract the affected variables, and propagate the (modified) statement to the appropriate pack.

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

module type STRATEGY = sig ... end

Signature of a static packing strategy

type MopsaLib.id +=

| D_static_packing : 'k MopsaLib.id * 'a MopsaLib.id -> ('k, 'a) Framework.Lattices.Partial_map.map MopsaLib.id

Identifier of packed domains

module Make
  (Strategy : STRATEGY) : 
  Mopsa_analyzer.MopsaLib.Sig.Abstraction.Simplified_functor.SIMPLIFIED_FUNCTOR

Creation of a domain functor from a packing strategy

val register_strategy : (module STRATEGY) -> unit