Module `Checkers__AddressTaken.TransferFunctions`

Parameters

CFG : Absint.ProcCfg.S

Signature

module CFG = CFG

module Domain = Domain

type analysis_data = unit

val add_address_taken_pvars : IR.Exp.t -> Domain.t -> Domain.t
val exec_instr : Domain.t -> unit -> 'a -> 'b -> IR.Sil.instr -> Domain.t
val pp_session_name : 'a -> Stdlib.Format.formatter -> unit