package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4
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 ->
unit