mopsa 1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

mopsa.c_stubs_parser

Documentation:

• Mopsa_c_stubs_parser

mopsa.mopsa_analyzer

Documentation:

• Mopsa_analyzer

mopsa.mopsa_analyzer.c

Documentation:

• C

mopsa.mopsa_analyzer.c.common

Documentation:

• C_common

mopsa.mopsa_analyzer.c.lang

Documentation:

• C_lang

mopsa.mopsa_analyzer.cfg

Documentation:

• Cfg

mopsa.mopsa_analyzer.cpyton

Documentation:

• Cpython

mopsa.mopsa_analyzer.framework

Documentation:

• Framework

mopsa.mopsa_analyzer.framework.combiners

Documentation:

• Combiners

mopsa.mopsa_analyzer.framework.combiners.common

Documentation:

• Combiners_common

mopsa.mopsa_analyzer.framework.combiners.domain

Documentation:

• Domain Domains.

mopsa.mopsa_analyzer.framework.combiners.value

Documentation:

• Value

mopsa.mopsa_analyzer.framework.core

Documentation:

• Core

mopsa.mopsa_analyzer.framework.core.ast

Documentation:

• Ast

mopsa.mopsa_analyzer.framework.engines

Documentation:

• Engines

mopsa.mopsa_analyzer.framework.interactive

Documentation:

• Interactive

mopsa.mopsa_analyzer.framework.lattices

Documentation:

• Lattices

mopsa.mopsa_analyzer.framework.output

Documentation:

• Output

mopsa.mopsa_analyzer.framework.params

Documentation:

• Params

mopsa.mopsa_analyzer.framework.params.config

Documentation:

• Config System configuration

mopsa.mopsa_analyzer.framework.sig

Documentation:

• Sig

mopsa.mopsa_analyzer.framework.sig.abstraction

Documentation:

• Abstraction

mopsa.mopsa_analyzer.framework.sig.combiner

Documentation:

• Combiner

mopsa.mopsa_analyzer.framework.sig.reduction

Documentation:

• Reduction

mopsa.mopsa_analyzer.framework.toplevel

Documentation:

• Toplevel Toplevel abstraction

mopsa.mopsa_analyzer.mopsa

Documentation:

• Mopsa Essential modules.

mopsa.mopsa_analyzer.pyhton.lang

Documentation:

• Python_lang

mopsa.mopsa_analyzer.python

Documentation:

• Python

mopsa.mopsa_analyzer.repl

Documentation:

• Repl

mopsa.mopsa_analyzer.stubs

Documentation:

• Stubs

mopsa.mopsa_analyzer.universal

Documentation:

• Universal

mopsa.mopsa_analyzer.universal.heap

Documentation:

• Heap

mopsa.mopsa_analyzer.universal.hooks

Documentation:

• Hooks

mopsa.mopsa_analyzer.universal.iterators

Documentation:

• Universal_iterators

mopsa.mopsa_analyzer.universal.iterators.interproc

Documentation:

• Universal_interproc

mopsa.mopsa_analyzer.universal.lang

Documentation:

• Lang

mopsa.mopsa_analyzer.universal.numeric

Documentation:

• Universal_numeric

mopsa.mopsa_analyzer.universal.numeric.common

Documentation:

• Numeric_common

mopsa.mopsa_analyzer.universal.numeric.relational

Documentation:

• Relational

mopsa.mopsa_analyzer.universal.numeric.values

Documentation:

• Numeric_values

mopsa.mopsa_analyzer.universal.numeric.values.intervals

Documentation:

• Intervals

mopsa.mopsa_analyzer.universal.numeric.values.powersets

Documentation:

• Powersets

mopsa.mopsa_analzyer.universal.numeric.reductions

Documentation:

• Numeric_reductions

mopsa.mopsa_build_db

Documentation:

• Mopsa_build_db Mopsa_build_db - Build a database to manage the analysis of multi-file projects

mopsa.mopsa_c_parser

Documentation:

• Mopsa_c_parser

mopsa.mopsa_c_stubs_parser.parsing

Documentation:

• Parsing The run-time library for parsers generated by ocamlyacc.

mopsa.mopsa_c_stubs_parser.passes

Documentation:

• Passes

mopsa.mopsa_py_parser

Documentation:

• Mopsa_py_parser

mopsa.mopsa_universal_parser

Documentation:

• Mopsa_universal_parser

mopsa.mopsa_utils

Documentation:

• Mopsa_utils

mopsa.mopsa_utils.bitfields

Documentation:

• Bitfields

mopsa.mopsa_utils.congUtils

Documentation:

• CongUtils

mopsa.mopsa_utils.containers

Documentation:

• Containers

mopsa.mopsa_utils.core

Documentation:

• Utils_core

mopsa.mopsa_utils.itvUtils

Documentation:

• ItvUtils