package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500
doc/output/Output/Json/index.html
Module Output.JsonSource
Format the results of the analysis in JSON.
module AlarmKindSet : sig ... endSource
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)
listSource
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 ]
listSource
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 ]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 ->
unitSource
val panic :
exn ->
btrace:string ->
time:float ->
files:string list ->
out:string option ->
'a ->
unit