mopsa

API

Library abstraction

• Abstraction

Library ast

• Ast

Library bitfields

• Bitfields

Library c

• C

Library c_common

• C_common

Library c_lang

• C_lang

Library cfg

• Cfg

Library combiner

• Combiner

Library combiners

• Combiners

Library combiners_common

• Combiners_common

Library config

• Config

Library congUtils

• CongUtils

Library containers

• Containers

Library core

• Core

Library cpython

• Cpython

Library domain

• Domain

Library engines

• Engines

Library framework

• Framework

Library heap

• Heap

Library hooks

• Hooks

Library interactive

• Interactive

Library intervals

• Intervals

Library itvUtils

• ItvUtils

Library lang

• Lang

Library lattices

• Lattices

Library mopsa

• Mopsa Essential modules.

Library mopsa.c_stubs_parser

• Mopsa_c_stubs_parser

Library mopsa.mopsa_analyzer

• Mopsa_analyzer

Library mopsa.mopsa_build_db

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

Library mopsa.mopsa_c_parser

• Mopsa_c_parser

Library mopsa.mopsa_py_parser

• Mopsa_py_parser

Library mopsa.mopsa_universal_parser

• Mopsa_universal_parser

Library mopsa.mopsa_utils

• Mopsa_utils

Library numeric_common

• Numeric_common

Library numeric_reductions

• Numeric_reductions

Library numeric_values

• Numeric_values

Library output

• Output

Library params

• Params

Library parsing

• Parsing

Library passes

• Passes

Library powersets

• Powersets

Library python

• Python

Library python_lang

• Python_lang

Library reduction

• Reduction

Library relational

• Relational

Library repl

• Repl

Library sig

• Sig

Library stubs

• Stubs

Library toplevel

• Toplevel Toplevel abstraction

Library universal

• Universal

Library universal_interproc

• Universal_interproc

Library universal_iterators

• Universal_iterators

Library universal_numeric

• Universal_numeric

Library utils_core

• Utils_core

Library value

• Value