From: River W. <jwa...@gm...> - 2008-10-08 14:23:58
|
Hi: I noticed that CIL has a data flow analysis module. I want to use it to find out all the global variables used by a function. But I am not very familiar with compiler and ocaml. Is there any sample codes that already do the similar thing? Or is there any related books or articles? I am currently reading the Dragon book. Thanks. Regards, Jiang |
From: Mark H. <mh...@cs...> - 2008-10-08 16:42:26
|
Dear Jiang, Take a look at the vvrbl method in the visitor class. This lets you "visit" each variable in the code. If you keep track of which function you are visiting at the time, you can gather all the varinfo records for global variables used by each function. The varinfo record has a field vglob which indicates whether the variable is a global variable (true) or not (false), so you can use that as a filter. Please let me know if you want a code example. Best regards, Mark River Wang wrote: > Hi: > > I noticed that CIL has a data flow analysis module. I want to use it > to find out all the global variables used by a function. But I am not > very familiar with compiler and ocaml. Is there any sample codes that > already do the similar thing? Or is there any related books or > articles? I am currently reading the Dragon book. Thanks. > > Regards, > > Jiang > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > CIL-users mailing list > CIL...@li... > https://lists.sourceforge.net/lists/listinfo/cil-users > |