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_split_return_variables_by_range : bool Stdlib.ref

Sourceval opt_rename_local_variables_on_recursive_call : bool Stdlib.ref

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 * Mopsa.range option

Return variable of a function call

Sourceval mk_return : Mopsa.expr -> Mopsa.range option -> Mopsa.var

Constructor of return variables

Contexts to keep return variable

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

module ReturnKey : sig ... end

Sourceval return_key : ('a, Mopsa.expr) 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.Var.var list ->
  Ast.Var.var list ->
  Ast.Stmt.stmt ->
  Mopsa.expr option ->
  Mopsa_utils.Location.range ->
  ('b, 'c) Mopsa.man ->
  'b Mopsa.Flow.flow ->
  ('b, Ast.Expr.expr) 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.expr option ->
  Utils_core.Location.range ->
  ('a, 'b) Mopsa.man ->
  'a Mopsa.Flow.flow ->
  ('a, Ast.Expr.expr) Core.Cases.cases

Inline a function call

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Interproc.Common`Source

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