--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Whether could I know in advance it would have errors before adding a file (Kernel.Files.add)?



Dear all,

1. Overall, My question is:  Whether could I know in advance it would have
errors before adding a file (Kernel.Files.add)?

    What i want is almost coding as following:

   if (Kernel.Files.add filename has errors) then
      do not add the file
   else
      add the file

   Note that the function of Kernel.Files.add do not raise any exceptions.

2. Why I need to do it programmatically?
   I am analyzing large project with many pre-processing C files by using
Frama-c. So I need to add some files programmatically.

3. Other infors:
   I have been tried the following modules but they do not emit any erros:
Frontc.parse/Cabs2cil.convFile/Mergecil.merge/Clexer.init/Logic_preprocess/Cmdline


Thanks for your attention.
Hope to get any suggestions.

Best regards,
David Yang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130915/9b665feb/attachment.html>