package mopsa

  1. Overview
  2. Docs
On This Page
  1. Libraries
    1. mopsa.c_stubs_parser
    2. mopsa.mopsa_analyzer
    3. mopsa.mopsa_analyzer.c
    4. mopsa.mopsa_analyzer.c.common
    5. mopsa.mopsa_analyzer.c.lang
    6. mopsa.mopsa_analyzer.cfg
    7. mopsa.mopsa_analyzer.cpyton
    8. mopsa.mopsa_analyzer.framework
    9. mopsa.mopsa_analyzer.framework.combiners
    10. mopsa.mopsa_analyzer.framework.combiners.common
    11. mopsa.mopsa_analyzer.framework.combiners.domain
    12. mopsa.mopsa_analyzer.framework.combiners.value
    13. mopsa.mopsa_analyzer.framework.core
    14. mopsa.mopsa_analyzer.framework.core.ast
    15. mopsa.mopsa_analyzer.framework.engines
    16. mopsa.mopsa_analyzer.framework.interactive
    17. mopsa.mopsa_analyzer.framework.lattices
    18. mopsa.mopsa_analyzer.framework.output
    19. mopsa.mopsa_analyzer.framework.params
    20. mopsa.mopsa_analyzer.framework.params.config
    21. mopsa.mopsa_analyzer.framework.sig
    22. mopsa.mopsa_analyzer.framework.sig.abstraction
    23. mopsa.mopsa_analyzer.framework.sig.combiner
    24. mopsa.mopsa_analyzer.framework.sig.reduction
    25. mopsa.mopsa_analyzer.framework.toplevel
    26. mopsa.mopsa_analyzer.mopsa
    27. mopsa.mopsa_analyzer.pyhton.lang
    28. mopsa.mopsa_analyzer.python
    29. mopsa.mopsa_analyzer.repl
    30. mopsa.mopsa_analyzer.stubs
    31. mopsa.mopsa_analyzer.universal
    32. mopsa.mopsa_analyzer.universal.heap
    33. mopsa.mopsa_analyzer.universal.hooks
    34. mopsa.mopsa_analyzer.universal.iterators
    35. mopsa.mopsa_analyzer.universal.iterators.interproc
    36. mopsa.mopsa_analyzer.universal.lang
    37. mopsa.mopsa_analyzer.universal.numeric
    38. mopsa.mopsa_analyzer.universal.numeric.common
    39. mopsa.mopsa_analyzer.universal.numeric.relational
    40. mopsa.mopsa_analyzer.universal.numeric.values
    41. mopsa.mopsa_analyzer.universal.numeric.values.intervals
    42. mopsa.mopsa_analyzer.universal.numeric.values.powersets
    43. mopsa.mopsa_analzyer.universal.numeric.reductions
    44. mopsa.mopsa_build_db
    45. mopsa.mopsa_c_parser
    46. mopsa.mopsa_c_stubs_parser.parsing
    47. mopsa.mopsa_c_stubs_parser.passes
    48. mopsa.mopsa_py_parser
    49. mopsa.mopsa_universal_parser
    50. mopsa.mopsa_utils
    51. mopsa.mopsa_utils.bitfields
    52. mopsa.mopsa_utils.congUtils
    53. mopsa.mopsa_utils.containers
    54. mopsa.mopsa_utils.core
    55. mopsa.mopsa_utils.itvUtils
Legend:
Library
Module
Module type
Parameter
Class
Class type

mopsa 1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

mopsa.c_stubs_parser

Documentation:

mopsa.mopsa_analyzer

Documentation:

mopsa.mopsa_analyzer.c

Documentation:

mopsa.mopsa_analyzer.c.common

Documentation:

mopsa.mopsa_analyzer.c.lang

Documentation:

mopsa.mopsa_analyzer.cfg

Documentation:

mopsa.mopsa_analyzer.cpyton

Documentation:

mopsa.mopsa_analyzer.framework

Documentation:

mopsa.mopsa_analyzer.framework.combiners

Documentation:

mopsa.mopsa_analyzer.framework.combiners.common

Documentation:

mopsa.mopsa_analyzer.framework.combiners.domain

Documentation:

mopsa.mopsa_analyzer.framework.combiners.value

Documentation:

mopsa.mopsa_analyzer.framework.core

Documentation:

mopsa.mopsa_analyzer.framework.core.ast

Documentation:

mopsa.mopsa_analyzer.framework.engines

Documentation:

mopsa.mopsa_analyzer.framework.interactive

Documentation:

mopsa.mopsa_analyzer.framework.lattices

Documentation:

mopsa.mopsa_analyzer.framework.output

Documentation:

mopsa.mopsa_analyzer.framework.params

Documentation:

mopsa.mopsa_analyzer.framework.params.config

Documentation:

mopsa.mopsa_analyzer.framework.sig

Documentation:

mopsa.mopsa_analyzer.framework.sig.abstraction

Documentation:

mopsa.mopsa_analyzer.framework.sig.combiner

Documentation:

mopsa.mopsa_analyzer.framework.sig.reduction

Documentation:

mopsa.mopsa_analyzer.framework.toplevel

Documentation:

mopsa.mopsa_analyzer.mopsa

Documentation:

mopsa.mopsa_analyzer.pyhton.lang

Documentation:

mopsa.mopsa_analyzer.python

Documentation:

mopsa.mopsa_analyzer.repl

Documentation:

mopsa.mopsa_analyzer.stubs

Documentation:

mopsa.mopsa_analyzer.universal

Documentation:

mopsa.mopsa_analyzer.universal.heap

Documentation:

mopsa.mopsa_analyzer.universal.hooks

Documentation:

mopsa.mopsa_analyzer.universal.iterators

Documentation:

mopsa.mopsa_analyzer.universal.iterators.interproc

Documentation:

mopsa.mopsa_analyzer.universal.lang

Documentation:

mopsa.mopsa_analyzer.universal.numeric

Documentation:

mopsa.mopsa_analyzer.universal.numeric.common

Documentation:

mopsa.mopsa_analyzer.universal.numeric.relational

Documentation:

mopsa.mopsa_analyzer.universal.numeric.values

Documentation:

mopsa.mopsa_analyzer.universal.numeric.values.intervals

Documentation:

mopsa.mopsa_analyzer.universal.numeric.values.powersets

Documentation:

mopsa.mopsa_analzyer.universal.numeric.reductions

Documentation:

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.mopsa_c_stubs_parser.parsing

Documentation:

mopsa.mopsa_c_stubs_parser.passes

Documentation:

mopsa.mopsa_py_parser

Documentation:

mopsa.mopsa_universal_parser

Documentation:

mopsa.mopsa_utils

Documentation:

mopsa.mopsa_utils.bitfields

Documentation:

mopsa.mopsa_utils.congUtils

Documentation:

mopsa.mopsa_utils.containers

Documentation:

mopsa.mopsa_utils.core

Documentation:

mopsa.mopsa_utils.itvUtils

Documentation:

OCaml

Innovation. Community. Security.