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]

[Fwd: Re: [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals]

  • Subject: [Fwd: Re: [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals]
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
  • Date: Fri Nov 7 15:16:34 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