C (bap-c.Bap_c.Std.C)

module Abi = Bap_c_abi

module Attr = Bap_c_attr

module Data = Bap_c_data

module Size = Bap_c_size

module Type : sig ... end

module Parser = Bap_c_parser

include module type of struct include Bap_c_term_attributes end

BIR attributes.

val data : Bap_c_data.t Bap.Std.tag

Abstraction 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.tag

Function prototype. This attribute is inserted into each annotated function.

val layout : Bap_c_data.layout Bap.Std.tag

layout describes the layout of a C object.

val t : Bap_c_type.t Bap.Std.tag

A c type associated with a term. This attribute is attached to each inserted arg term, but maybe propagated by further by other passes.