--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on November 2008 ---
Sorry, I forgot to send a copy of my answer to the mailing list : so here is a copy. Moreover, I began to have a look at the filter that I mentioned, but I am afraid that it will not be so simple to use because it works only on the C part, so it might remove things that are only used in ACSL specification. So we maybe need to write another small plugin to remove used global definition... Best regards, Anne Pacalet. -------- Message original -------- Sujet: Re: [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals Date: Fri, 07 Nov 2008 14:30:05 +0100 De: Anne Pacalet <Anne.Pacalet@sophia.inria.fr> Pour :: dillon.pariente@dassault-aviation.fr R?f?rences: <A6FD74D4A6DA4247AD801E394363406303098B29@sctex002.st-cloud.dassault-avion.fr> Hi, Pariente Dillon a ?crit : > The Frama-C slicer called from a command line as "toplevel.opt -ocode > slice.c -slice-print -slicing-level 3 -lib-entry -main foo myfile.c > -slice-pragma foo" generates the file slice.c with all original code > globals (typedefs, vars) even if most of these globals are not > referenced in the code of slice.c. The slicer doesn't work on the global definition because another filter in Frama-C is supposed to handle them, but it seems that we forgot to call it ! > Please, let me known how is it possible to get rid of unuseful globals. I'll try to find out if it is possible to call this other filter at the moment, and I'll let you know as soon as possible. Sorry for this. Anne. -- Anne Pacalet - INRIA - 2004, route des Lucioles BP.93 F-06902 Sophia Antipolis Cedex. Tel : +33 (0) 4 9715 5345