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 Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.1.tar.gz

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/universal_interproc/Universal_interproc/Interproc/Common/index.html

Module `Interproc.Common`Source

Common transfer functions for handling function calls

Sourceval name : string

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

Sourceval opt_recursion_limit : int Stdlib.ref

Option to limit recursion depth

Sourceval opt_rename_local_variables_on_recursive_call : bool Stdlib.ref

Trace markers

Sourcetype Mopsa.marker +=

| M_return of Mopsa.range

Return flow token

=====================

Sourcetype Mopsa.token +=

| T_return of Mopsa.range
(*
T_return(l) represents flows reaching a return statement at location l
*)

Return variable

===================

Sourcetype Mopsa.var_kind +=

| V_return of Mopsa.expr

Return variable of a function call

Sourceval mk_return : Mopsa.expr -> Mopsa.var

Constructor of return variables

Contexts to keep return variable

===================================

module ReturnKey : sig ... end

Sourceval return_key : ('a, Mopsa.var) Core__Context.ctx_key

Sourceval get_last_call_site : 'a Mopsa.Flow.flow -> Utils_core.Location.range

Ignore recursion assumption

===============================

Sourcetype Mopsa.assumption_kind +=

| A_ignore_recursion_side_effect of string

Recursion checks

====================

Source

val check_recursion : 
  string ->
  string ->
  Utils_core.Location.range ->
  Mopsa.callsite list ->
  bool

Check that no recursion is happening

Sourceval check_nested_calls : string -> Mopsa.callsite list -> bool

Function inlining

=====================

Source

val init_fun_params : 
  Lang.Ast.fundec ->
  Ast.Expr.expr list ->
  Mopsa_utils.Location.range ->
  ('a, 'b) Mopsa.man ->
  'a Mopsa.Flow.flow ->
  Mopsa.var list * Mopsa.var list * Mopsa.stmt * 'a Mopsa.Post.post

Initialize function parameters

Source

val exec_fun_body : 
  'a ->
  Ast.Stmt.stmt ->
  Mopsa.var option ->
  'b ->
  ('c, 'd) Mopsa.man ->
  'c Mopsa.Flow.flow ->
  ('c, unit) Core.Cases.cases

Execute function body and save the return value

Source

val inline : 
  Lang.Ast.fundec ->
  Ast.Var.var list ->
  Ast.Var.var list ->
  Ast.Stmt.stmt ->
  Mopsa.var option ->
  Utils_core.Location.range ->
  ('a, 'b) Mopsa.man ->
  'a Mopsa.Flow.flow ->
  ('a, Ast.Expr.expr) Core.Cases.cases

Inline a function call

On This Page

Return flow token
Return variable
Contexts to keep return variable
Ignore recursion assumption
Recursion checks
Function inlining

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/universal_interproc/Universal_interproc/Interproc/Common/index.html

Module Interproc.CommonSource

Return flow token

Return variable

Contexts to keep return variable

Ignore recursion assumption

Recursion checks

Function inlining

Module `Interproc.Common`Source