bap-c

A C language support library for BAP
IN THIS PACKAGE
method run : Bap_c_type.t -> ( Bap_c_type.t, 'e ) m
method enter_type : Bap_c_type.t -> ( unit, 'e ) m
method map_type : Bap_c_type.t -> ( Bap_c_type.t, 'e ) m
method leave_type : Bap_c_type.t -> ( unit, 'e ) m
method enter_void : Bap_c_type.t -> ( unit, 'e ) m
method map_void : Bap_c_type.t -> ( Bap_c_type.t, 'e ) m
method leave_void : Bap_c_type.t -> ( unit, 'e ) m
method enter_array : Bap_c_type.array -> ( unit, 'e ) m
method map_array : Bap_c_type.array -> ( Bap_c_type.array, 'e ) m
method leave_array : Bap_c_type.array -> ( unit, 'e ) m
method enter_pointer : Bap_c_type.t -> ( unit, 'e ) m
method map_pointer : Bap_c_type.t -> ( Bap_c_type.t, 'e ) m
method leave_pointer : Bap_c_type.t -> ( unit, 'e ) m
method enter_function : Bap_c_type.proto -> ( unit, 'e ) m
method map_function : Bap_c_type.proto -> ( Bap_c_type.proto, 'e ) m
method leave_function : Bap_c_type.proto -> ( unit, 'e ) m
method enter_union : Bap_c_type.compound -> ( unit, 'e ) m
method map_union : Bap_c_type.compound -> ( Bap_c_type.compound, 'e ) m
method leave_union : Bap_c_type.compound -> ( unit, 'e ) m
method enter_structure : Bap_c_type.compound -> ( unit, 'e ) m
method map_structure : Bap_c_type.compound -> ( Bap_c_type.compound, 'e ) m
method leave_structure : Bap_c_type.compound -> ( unit, 'e ) m
method enter_cv_qualifier : Bap_c_type.cv Bap_c_type.qualifier -> ( unit, 'e ) m
method leave_cv_qualifier : Bap_c_type.cv Bap_c_type.qualifier -> ( unit, 'e ) m
method enter_cvr_qualifier : Bap_c_type.cvr Bap_c_type.qualifier -> ( unit, 'e ) m
method leave_cvr_qualifier : Bap_c_type.cvr Bap_c_type.qualifier -> ( unit, 'e ) m
method enter_basic : Bap_c_type.basic -> ( unit, 'e ) m
method map_basic : Bap_c_type.basic -> ( Bap_c_type.basic, 'e ) m
method leave_basic : Bap_c_type.basic -> ( unit, 'e ) m
method enter_integer : Bap_c_type.integer -> ( unit, 'e ) m
method map_integer : Bap_c_type.integer -> ( Bap_c_type.integer, 'e ) m
method leave_integer : Bap_c_type.integer -> ( unit, 'e ) m
method enter_char : Bap_c_type.char -> ( unit, 'e ) m
method map_char : Bap_c_type.char -> ( Bap_c_type.char, 'e ) m
method leave_char : Bap_c_type.char -> ( unit, 'e ) m
method enter_signed : Bap_c_type.signed -> ( unit, 'e ) m
method map_signed : Bap_c_type.signed -> ( Bap_c_type.signed, 'e ) m
method leave_signed : Bap_c_type.signed -> ( unit, 'e ) m
method enter_unsigned : Bap_c_type.unsigned -> ( unit, 'e ) m
method map_unsigned : Bap_c_type.unsigned -> ( Bap_c_type.unsigned, 'e ) m
method leave_unsigned : Bap_c_type.unsigned -> ( unit, 'e ) m
method enter_enum : (string * int64 option) list -> ( unit, 'e ) m
method map_enum : (string * int64 option) list -> ( (string * int64 option) list, 'e ) m
method leave_enum : (string * int64 option) list -> ( unit, 'e ) m
method enter_floating : Bap_c_type.floating -> ( unit, 'e ) m
method map_floating : Bap_c_type.floating -> ( Bap_c_type.floating, 'e ) m
method leave_floating : Bap_c_type.floating -> ( unit, 'e ) m
method enter_real : Bap_c_type.real -> ( unit, 'e ) m
method map_real : Bap_c_type.real -> ( Bap_c_type.real, 'e ) m
method leave_real : Bap_c_type.real -> ( unit, 'e ) m
method enter_complex : Bap_c_type.complex -> ( unit, 'e ) m
method map_complex : Bap_c_type.complex -> ( Bap_c_type.complex, 'e ) m
method leave_complex : Bap_c_type.complex -> ( unit, 'e ) m
method enter_attrs : Bap_c_type.attr list -> ( unit, 'e ) m
method map_attrs : Bap_c_type.attr list -> ( Bap_c_type.attr list, 'e ) m
method leave_attrs : Bap_c_type.attr list -> ( unit, 'e ) m
method enter_attr : Bap_c_type.attr -> ( unit, 'e ) m
method map_attr : Bap_c_type.attr -> ( Bap_c_type.attr, 'e ) m
method leave_attr : Bap_c_type.attr -> ( unit, 'e ) m
method enter_name : string -> ( unit, 'e ) m
method map_name : string -> ( string, 'e ) m
method leave_name : string -> ( unit, 'e ) m