package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

dune-project

Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (3)

Authors

Maintainers

Sources

mopsa-analyzer-v1.2.tar.gz

md5=37966e98ffeebcedc09bd6e9b2b81f69

sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Packing/Static/index.html

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.

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