Biabduction.BuiltinModule for builtin functions with their symbolic execution handler
type args = {instr : IR.Sil.instr;prop_ : Prop.normal Prop.t;path : Paths.Path.t;ret_id_typ : IR.Ident.t * IR.Typ.t;args : (IR.Exp.t * IR.Typ.t) list;proc_name : IR.Procname.t;loc : IBase.Location.t;analysis_data : BiabductionSummary.t Absint.InterproceduralAnalysis.t;}type ret_typ = (Prop.normal Prop.t * Paths.Path.t) listval register : IR.Procname.t -> t -> registeredRegister a builtin Procname.t and symbolic execution handler
val get : IR.Procname.t -> t optionGet the symbolic execution handler associated to the builtin function name