Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Inserting global annotation into the AST


  • Subject: [Frama-c-discuss] Inserting global annotation into the AST
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
  • Date: Tue, 20 Mar 2012 09:59:42 +0100

Hello,

I want to define global annotations that are associated to functions and
insert these into the AST. I use an inplace visitor and I want to
generate the global annotations in method vfunc, as they are associated
to the function being visited. I assume that I can't insert these
annotations by overriding vglob_aux as vglob_aux wouldn't be invoked if
there were no globals in the original source. Also, I want the global
annotations the be inserted before the function definition.

Are the functions that can be used for that purpose?
-- 
Best regards,
Boris