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