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

Abstraction of generators

type MopsaLib.token +=

| T_py_gen_start of Python.Lang.Ast.py_object
(*
Initial generator flows
*)
| T_py_gen_next of Python.Lang.Ast.py_object * MopsaLib.range
(*
Flows starting from a call to __next__ that should resume execution at the given location point
*)
| T_py_gen_yield of Python.Lang.Ast.py_object * MopsaLib.expr * MopsaLib.range
(*
Flow starting from a yield expression and suspended until reaching the calling next statement
*)
| T_py_gen_stop of Python.Lang.Ast.py_object
(*
Flows reaching the end of the generator
*)

val mk_framed_var : MopsaLib.var -> (MopsaLib.addr * 'a) -> MopsaLib.var

module GenKey : sig ... end

The current generator being analyzed is stored in the context.

val generator_key : 
  ('a, Python.Lang.Ast.py_object)
    Mopsa_analyzer__Framework__Core__Context.ctx_key

type MopsaLib.addr_kind +=

module Domain : sig ... end