--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Executing a visitor



On Thu, 2012-02-09 at 09:35 +0100, Julien Signoles wrote:

> This message only indicates that you do not specify any C file on the 
> Frama-C command line. It should not be related to your visitor.



I did specify an input file.


> The example provided in the Plug-in Developer Guide is out-of-date and, 
> if I remember correctly, it does not compile anymore with the last 
> version of Frama-C, even if the call to File.create_project_from_visitor 
> should be correct. Thus you probably try something else. What do you 
> exactly try?


I dynamically register the plugin and call
File.create_project_from_visitor to initialize the visitor. I changed
the example, it compiles and frama-c -help lists the plugin. This is
what happens:

$ frama-c -nonzero t.c
[kernel] warning: no input file.
[kernel] preprocessing with "gcc -C -E -I.  t.c"
$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120209/3a88bb6e/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: non_zero_divisor.ml
Type: text/x-ocaml
Size: 1173 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120209/3a88bb6e/attachment.bin>