Json (p.mopsa.1.0.doc.output.Output.Json)

mopsa
- CHANGELOG
- README
- 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
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_analzyer
- 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 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
- 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
- Sources

module AlarmKindSet : sig ... end

val render_pos : 
  Mopsa_utils.Location.pos ->
  [> `Assoc of (string * [> `Int of int | `String of string ]) list ]

Source

val render_range : 
  Mopsa_utils.Location.range ->
  [> `Assoc of
       (string
        * [> `Assoc of (string * [> `Int of int | `String of string ]) list ])
         list ]

Source

val render_call : 
  Mopsa_utils.Callstack.callsite ->
  [> `Assoc of
       (string
        * [> `Assoc of
               (string
                * [> `Assoc of
                       (string * [> `Int of int | `String of string ]) list ])
                 list
          | `String of string ])
         list ]

Source

val render_callstack : 
  Mopsa_utils.Callstack.callsite list ->
  [> `List of
       [> `Assoc of
            (string
             * [> `Assoc of
                    (string
                     * [> `Assoc of
                            (string * [> `Int of int | `String of string ])
                              list ])
                      list
               | `String of string ])
              list ]
         list ]

Source

val aggregate_alarms : 
  Core.All.report ->
  (Mopsa_utils.Location.range
   * Core.All.CheckMap.key
   * Mopsa_utils.Callstack.callstack list)
    list

Sourceval render_check : Core.All.check -> [> `String of string ]

Sourceval render_alarm_messages : Core.All.alarm_kind list -> [> `String of string ]

Source

val render_alarms : 
  Core.All.report ->
  int
  * int
  * [> `Assoc of
         (string
          * [> `Assoc of
                 (string
                  * [> `Assoc of
                         (string * [> `Int of int | `String of string ]) list ])
                   list
            | `List of
              [> `Assoc of
                   (string
                    * [> `Assoc of
                           (string
                            * [> `Assoc of
                                   (string
                                    * [> `Int of int | `String of string ])
                                     list ])
                             list
                      | `String of string ])
                     list ]
                list
            | `String of string ])
           list ]
      list

Source

val render_soudness_assumtion : 
  Core.All.assumption ->
  [> `Assoc of
       (string
        * [> `Assoc of
               (string
                * [> `Assoc of
                       (string * [> `Int of int | `String of string ]) list ])
                 list
          | `String of string ])
         list ]

Sourceval render_var : Core.All.var -> [> `String of string ]

Sourceval render_value : 'a -> [> `String of 'a ]

Source

val render_env : 
  (Core.All.var * string) ->
  [> `Assoc of (string * [> `String of string ]) list ]

Source

val report : 
  'a ->
  'b Core.All.Flow.flow ->
  time:float ->
  files:string list ->
  out:string option ->
  unit

Source

val panic : 
  exn ->
  btrace:string ->
  time:float ->
  files:string list ->
  out:string option ->
  unit

Sourceval help : Mopsa_utils.ArgExt.arg list -> out:string option -> unit

Sourceval list_domains : string list -> out:string option -> unit

Sourceval list_checks : Core.All.check list -> out:string option -> unit

Sourceval list_hooks : string list -> out:string option -> unit

Source

val print : 
  Core.All.printer ->
  range:Mopsa_utils.Location.range ->
  out:string option ->
  unit