--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on November 2012 ---
[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]



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>