package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

dune-project

Dependency

md5=37966e98ffeebcedc09bd6e9b2b81f69

sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

Python frontend translates the parser's AST into Framework's AST.

val opt_gc_after_functioncall : bool ref

val opt_gc_percent_calls : int ref

val gc_call : int ref

val opt_check_type_annot : bool ref

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a

val parse_program : string list -> MopsaLib.program

Entry point of the frontend

val from_var : Mopsa_py_parser.Ast.var -> MopsaLib.var

Create a Universal.var variable from Mopsa_py_parser.Ast.var

val from_stmt : Mopsa_py_parser.Ast.stmt -> MopsaLib.stmt

Translation of a Python statement

val from_stmt_option : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_py_parser.Ast.stmt option ->
  MopsaLib.stmt

Translate an optional statement into en eventual empty one

val from_exp_option : Mopsa_py_parser.Ast.expr option -> MopsaLib.expr option

val from_exp : Mopsa_py_parser.Ast.expr -> Framework.Core.Ast.Expr.expr

Translation of expressions

val from_binop : Mopsa_py_parser.Ast.binop -> MopsaLib.operator

val from_arithmetic_op : Mopsa_py_parser.Cst.binop -> MopsaLib.operator

val from_bool_op : Mopsa_py_parser.Cst.boolop -> MopsaLib.operator

val from_comparison_op : Mopsa_py_parser.Cst.cmpop -> MopsaLib.operator

val from_unop : 
  Mopsa_py_parser.Cst.unop ->
  Framework.Core.Ast.Operator.operator

val free_vars : 
  Framework.Core.Ast.Var.var list ->
  Framework.Core.Ast.Var.var list ->
  MopsaLib.stmt ->
  MopsaLib.var list * MopsaLib.stmt

val cell_vars : MopsaLib.stmt -> Framework.Core.Ast.Stmt.stmt