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] -users and -calldeps during value analysis

Hello Anne,

On 02/16/2012 05:03 PM, Anne Pacalet wrote:
> I try to have a way to "do something" in order that when my plug-in
> needs value analysis, it runs it with -users and -calldeps so that
> I will not have to do it 2 or 3 times. I tried to set :
> From_parameters.ForceCallDeps
> but it seems to be unreachable. I cannot use the command line since
> I don't always need to call the value analysis, but when I need it,
> I would like to have the greater precision with only one analysis.
> Do you think this is possible (in Nitrogen version) ?

Of course :-D. Something like

   Dynamic.Parameter.Bool.on "-calldeps" ()

should work.

More generally, command line options are registered in Dynamic.Parameter.

Hope this helps,