Std.Cmodule Abi = Bap_c_abimodule Attr = Bap_c_attrmodule Data = Bap_c_datamodule Size = Bap_c_sizemodule Type : sig ... endmodule Parser = Bap_c_parserinclude module type of struct include Bap_c_term_attributes endBIR attributes.
val data : Bap_c_data.t Bap.Std.tagAbstraction of a data representation of C value. This attribute is attached to each inserted arg term, but can be further propagated by other passes
val proto : Bap_c_type.proto Bap.Std.tagFunction prototype. This attribute is inserted into each annotated function.
val t : Bap_c_type.t Bap.Std.tagA c type associated with a term. This attribute is attached to each inserted arg term, but maybe propagated by further by other passes.