--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on July 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to run a plug-in many times



Hello,

> I would like to run a plug-in many times (with different parameters) and
> flush the memory used by the plugin between each run.
> 
> For example, running the value analysis plug-in several times with
> different slevels while freeing the memory used by the previous
> execution before running a new one.

Attached is a small Frama-C plug-in (for Beryllium beta1) doing the job 
in 3 differents ways. Please let me know if it fulfill your requirement.

You can test it by:
$ frama-c -load-script clear.ml my_c_file.c

Best regards,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Reliability Lab
91191 Gif-Sur-Yvette Cedex
tel:(+33)1.69.08.71.83  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: clear.ml
Type: text/x-ocaml
Taille: 1553 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090723/ba96bc2b/attachment.bin