Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000197Frama-CKernelpublic2009-07-21 15:032014-02-12 16:56
Reporterrbonichon 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOpenBSDOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Beryllium-20090901 
Summary0000197: Options <plug-in>-debug and <plug-in>-verbose for dynamic plug-ins do not work
DescriptionCLI options <plug-in-name>-debug and <plug-in-verbose> which are made automagically available for dynamic plug-ins (as document by frama-c -<plug-in-name>-help do not actually seem to exist at all as they are not recognized as valid CLI options.

In the case of the mthread plug-in it ends with the following message:
[kernel] error: option `-mthread-debug' is unknown.
[kernel] error: use `frama-c -help' for more information.
TagsNo tags attached.
Relationships
Attached Files

Notes
(0000285)
correnson   
2009-07-21 15:48   
LC: I'm not sure the following line is the correct fix for bug 0000197
       We must face the following problem:
       - Statically linked plugins: options are registered BEFORE the Early stage of parsing
       - Dynamically linked ones: options are registered DURING the Extending stage of parsing
       Thus, all dynamically linked plugins *should* never register options
       for the Early and Extending stages. => what about the verbose and debug options ???
       I suggest to parse the -xxx-debug and -xxx-verbose options and the loading phase (thus,
       just before the configuring phase.

       To be confirmed by Julien.
(0000286)
correnson   
2009-07-21 15:50   
SVN version 5802

To be confirmed by Julien.
(0000298)
signoles   
2009-07-23 13:53   
The Loïc's patch is ok.

Issue History
Date ModifiedUsernameFieldChange
2009-07-21 15:03rbonichonNew Issue
2009-07-21 15:03rbonichonStatusnew => assigned
2009-07-21 15:03rbonichonAssigned To => correnson
2009-07-21 15:48corrensonNote Added: 0000285
2009-07-21 15:50corrensonNote Added: 0000286
2009-07-21 15:50corrensonStatusassigned => resolved
2009-07-21 15:50corrensonFixed in Version => Frama-C svn, precise the release id
2009-07-21 15:50corrensonResolutionopen => fixed
2009-07-21 15:50corrensonStatusresolved => assigned
2009-07-21 15:50corrensonAssigned Tocorrenson => signoles
2009-07-22 15:48svn
2009-07-22 16:16svn
2009-07-23 13:53signolesNote Added: 0000298
2009-07-23 13:53signolesStatusassigned => resolved
2009-07-23 15:14svn
2009-07-27 10:23svn
2009-09-02 10:54signolesStatusresolved => closed
2009-09-23 16:57signolesFixed in VersionFrama-C svn, precise the release id => Frama-C Beryllium
2013-12-19 01:13corrensonSource_changeset_attached => framac master 39b24ab2
2013-12-19 01:13corrensonSource_changeset_attached => framac master 228e3c7d
2013-12-19 01:13corrensonSource_changeset_attached => framac master 1a71d83d
2013-12-19 01:13corrensonSource_changeset_attached => framac master 1202dc9f
2014-02-12 16:56corrensonSource_changeset_attached => framac stable/neon 39b24ab2
2014-02-12 16:56corrensonSource_changeset_attached => framac stable/neon 228e3c7d
2014-02-12 16:56corrensonSource_changeset_attached => framac stable/neon 1a71d83d
2014-02-12 16:56corrensonSource_changeset_attached => framac stable/neon 1202dc9f