package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Output/Json/index.html
Module Output.Json
Format the results of the analysis in JSON.
module AlarmKindSet : sig ... endval render_pos :
Mopsa_utils.Core.Location.pos ->
[> `Assoc of (string * [> `Int of int | `String of string ]) list ]val render_range :
Mopsa_utils.Core.Location.range ->
[> `Assoc of
(string
* [> `Assoc of (string * [> `Int of int | `String of string ]) list ])
list ]val render_call :
Mopsa_utils.Core.Callstack.callsite ->
[> `Assoc of
(string
* [> `Assoc of
(string
* [> `Assoc of
(string * [> `Int of int | `String of string ]) list ])
list
| `String of string ])
list ]val render_loop :
Mopsa_utils.Core.ControlCtx.loopsite ->
[> `Assoc of
(string
* [> `Assoc of
(string
* [> `Assoc of
(string * [> `Int of int | `String of string ]) list ])
list
| `String of string ])
list ]val render_callstack :
Mopsa_utils.Core.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 ]val render_control_context :
Mopsa_utils.Core.ControlCtx.control_info 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 ]val aggregate_alarms :
Core.All.report ->
(Mopsa_utils.Core.Location.range
* Core.Alarm.CheckMap.key
* Mopsa_utils.Core.Callstack.callstack list)
listval render_check : Core.All.check -> [> `String of string ]val render_alarm_messages : Core.All.alarm_kind list -> [> `String of string ]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 ]
listval 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 ]val render_var : Core.All.var -> [> `String of string ]val render_env :
(Core.All.var * string) ->
[> `Assoc of (string * [> `String of string ]) list ]val report :
'a ->
'b Core.Flow.flow ->
time:float ->
files:string list ->
out:string option ->
unitval help : Mopsa_utils.Core.ArgExt.arg list -> out:string option -> unitval list_checks : Core.All.check list -> out:string option -> unitval print :
Core.All.printer ->
range:Mopsa_utils.Core.Location.range ->
out:string option ->
unit