Frama-C API - Translate_lightweight
Annotate files interpreting lightweight annotations.
val lightweight_transform : File.code_transformation_categoryCode transformation that interprets __declspec annotations. Done after cleanup (see File.add_code_transformation_after_cleanup). Name of the transformation is "lightweight spec"