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/python_lang/Python_lang/Lang/Utils/index.html
Module Lang.UtilsSource
Source
val mk_builtin_raise_args :
string ->
Mopsa.expr list ->
Mopsa_utils.Location.range ->
Mopsa.stmtSource
val mk_object_hasattr :
(Mopsa.addr * Mopsa.expr option) ->
string ->
Mopsa_utils.Location.range ->
Mopsa.exprSource
val mk_try_stopiteration :
Mopsa.stmt ->
Mopsa.stmt ->
Mopsa_utils.Location.range ->
Mopsa.stmtSource
val check_instances :
?arguments_after_check:int ->
string ->
('a, 'b) Mopsa.man ->
'a Core.Flow.flow ->
Mopsa_utils.Location.range ->
Ast.Expr.expr list ->
string list ->
(Mopsa.expr list ->
'a Mopsa.Flow.flow ->
('a, Ast.Expr.expr) Core.Cases.cases) ->
('a, Ast.Expr.expr) Mopsa.Cases.casesSource
val check_instances_disj :
?arguments_after_check:int ->
string ->
('a, 'b) Mopsa.man ->
'a Core.Flow.flow ->
Mopsa_utils.Location.range ->
Ast.Expr.expr list ->
string list list ->
(Mopsa.expr list ->
'a Mopsa.Flow.flow ->
('a, Ast.Expr.expr) Core.Cases.cases) ->
('a, Ast.Expr.expr) Mopsa.Cases.casesSource
val new_wrapper :
('a, 'b) Mopsa.man ->
Mopsa_utils.Location.range ->
'a Core.Flow.flow ->
string ->
Ast.Expr.expr ->
fthennew:('a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) ->
('a, Ast.Expr.expr) Mopsa.Cases.cases optionSource
val bind_list_args :
?cleaners:bool ->
('b, 'a) Core.Manager.man ->
Mopsa.expr list ->
'b Mopsa.Flow.flow ->
Mopsa_utils.Location.range ->
(Mopsa.var list -> 'b Mopsa.flow -> ('b, 'c) Mopsa.Cases.cases) ->
('b, 'c) Mopsa.Cases.casesSource
val get_eobj_itv :
('a, 'b) Mopsa.man ->
'a Core.Flow.flow ->
Mopsa.expr ->
Mopsa.ItvUtils.IntItv.t Mopsa.Bot.with_botSource
val try_eval_expr :
?on_empty:
(Mopsa.expr ->
string ->
Universal.Strings.Powerset.StringPower.t ->
'a Mopsa.Flow.flow ->
'a Mopsa.Eval.eval option) ->
on_result:(Mopsa.expr -> 'a Mopsa.flow -> ('a, Mopsa.expr) Mopsa.cases) ->
('a, 'b) Mopsa.man ->
?route:Mopsa.Core.Route.route ->
Ast.Expr.expr ->
'a Mopsa.flow ->
('a, Mopsa.expr) Mopsa.cases optionSource
val check :
('a, 'b) Mopsa.man ->
Mopsa.expr ->
Mopsa_utils.Location.range ->
'a Core.Flow.flow ->
('a, Ast.Expr.expr) Core.Cases.cases