Frama-C Bug Tracking System - Frama-C | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001104 | Frama-C | Graphical User Interface | public | 2012-02-24 11:18 | 2014-02-12 16:58 |
| Reporter | Jochen | ||||
|---|---|---|---|---|---|
| Assigned To | yakobowski | ||||
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Platform | OS | OS Version | |||
| Product Version | Frama-C Nitrogen-20111001 | ||||
| Target Version | Fixed in Version | Frama-C Oxygen-20120901 | |||
| Summary | 0001104: value analysis warning disappears from 'Messages' window in gui after 'Reparse' button clicked | ||||
| Description | Under Mac OS X Version 10.6.8, I ran "frama-c-gui -val exm02.c" on the attached program. In the "Messages" window of the Frama-C gui, an overflow warning is displayed for line 4, which is ok. After clicking on the "Reparse" button, that message disappears, although nothing has been changed in the source code. Even after clicking on the "Analyses" button and clicking on the "Execute" button in the popped-up window "Launching analysis", the overflow warning doesn't appear again. | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  exm02.c (86) 2012-02-24 11:18https://bts.frama-c.com/file_download.php?file_id=339&type=bug | ||||
| Notes | |||||
|
|
|||||
|
|
||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2012-02-24 11:18 | Jochen | New Issue | |||
| 2012-02-24 11:18 | Jochen | Status | new => assigned | ||
| 2012-02-24 11:18 | Jochen | Assigned To | => monate | ||
| 2012-02-24 11:18 | Jochen | File Added: exm02.c | |||
| 2012-02-24 11:39 | yakobowski | Note Added: 0002732 | |||
| 2012-02-24 11:39 | yakobowski | Assigned To | monate => correnson | ||
| 2012-09-07 15:02 | yakobowski | Assigned To | correnson => yakobowski | ||
| 2012-09-07 17:13 | svn | ||||
| 2012-09-07 17:13 | svn | Status | assigned => resolved | ||
| 2012-09-07 17:13 | svn | Resolution | open => fixed | ||
| 2012-09-19 17:15 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 | ||
| 2012-09-19 17:16 | signoles | Status | resolved => closed | ||
| 2013-12-19 01:11 | yakobowski | Source_changeset_attached | => framac master b99fc010 | ||
| 2014-02-12 16:53 | yakobowski | Source_changeset_attached | => framac stable/neon b99fc010 | ||
| 2014-02-12 16:58 | yakobowski | Note Added: 0004617 | |||
| 2014-02-12 16:58 | yakobowski | Status | closed => resolved | ||