package bap-c

  1. Overview
  2. Docs

Module Bap_c_term_attributes

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.

OCaml

Innovation. Community. Security.