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] how to set option "-slevel" or "-context-width" by using API function[Not set in command line]

  • Subject: [Frama-c-discuss] how to set option "-slevel" or "-context-width" by using API function[Not set in command line]
  • From: richard.bonichon at gmail.com (Richard Bonichon)
  • Date: Fri, 2 Nov 2012 17:14:01 +0100
  • In-reply-to: <000001cdb8e6$2565f480$7031dd80$@gmail.com>
  • References: <000001cdb8e6$2565f480$7031dd80$@gmail.com>
Hello,

Most Frama-c plug-ins have  <plug-in_name>_parameters.ml[i] or
<plug-in_name>_options.ml[i] files where the acceptable command-line
parameters are declared.
The parameters can be set programmatically as well.
The value analysis is no exception (see value_parameters.ml).
Furthermore, some functionalities of the value analysis are available
through the Value module in kernel/db.ml[i].


On Fri, Nov 2, 2012 at 11:37 AM, Ben <abiao.yang at gmail.com> wrote:

> Hi,
>
> First of all, I proposed my question:
> Is there any API function to set "-context-width " option ? (Note: Not by
> setting in command line).
>
>
> I can easily set "-lib-entry" and "-main" option by using two API functions
> : "Kernel.LibEntry.set " and "Kernel.MainFunction.set " .
>
> But I need to set some options related with value analysis: "-slevel ",
> "-context-width ", "-context-depth ".
> We can easily set the these options in command line. But I can't find any
> APIs to set these options.
>
> Maybe somebody will argue that why not set these option in command line. As
> in my situation, I want to set these options depend on the context
> environment. I think there may be some functions can achieve my requirement
> which I didn't find in the APIs documentation.
>
> Thanks in advance.
>
> Ben
> -------
> 2012-11-02
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>



-- 
Richard Bonichon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121102/5d3bfb45/attachment.html>