bap-c

A C language support library for BAP
IN THIS PACKAGE
Module 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.

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

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

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