bap-c

A C language support library for BAP
IN THIS PACKAGE
Module Bap_c_attr

Attribute processing.

This module allows to attach a semantic action for C attributes. Each action is a term transformation, that should do nothing, if an attribute is not known to him.

type 'a pass = Bap_c_type.attr -> 'a Bap.Std.term -> 'a Bap.Std.term

a type of action

val register : Bap.Std.sub pass -> unit

register an action

val apply : Bap.Std.sub pass

apply all registered actions