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]

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


  • Subject: [Frama-c-discuss] Whether could I know in advance it would have errors before adding a file (Kernel.Files.add)?
  • From: abiao.yang at gmail.com (David Yang)
  • Date: Sun, 15 Sep 2013 07:58:37 +0800

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>