package calli

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Seperate Call instructions into CallSite and ReturnSite instructions

val pp_term_list : Stdlib.Format.formatter -> 'a list -> unit

val pp_stmt_list : Stdlib.Format.formatter -> 'a list -> unit

type st =

val transform_call_stmt : Stmt.t list -> st list

val split : Basicblock.t -> st list -> string list

val transform_call_pool : 
  Bbpool.M.key ->
  Stdlib.String.t * Stdlib.String.t list

val change_next : Cfg.t -> Stdlib.String.t -> Stdlib.String.t -> Cfg.t

val transform_call_cfg : Cfg.t -> Cfg.t

val transform_call_func : Function.t -> Function.t

val transform_call : Module.t -> Module.t