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