Frama-C Bug Tracking System

Frama-C - Roadmap

Frama-C - Frama-C Phosphorus (Scheduled For Release 2016-12-05) View Issues ]
===============================================================
20%
- 0002270: [Graphical User Interface] Command "Show callgraph" fails. (maroneze) - confirmed.
- 0002259: [Plug-in > value analysis] suggest to provide and document a unique warning string to grep for in value-analysis output files (yakobowski) - assigned.
- 0002256: [Plug-in > value analysis] "pointer comparison" warning emitted for "p==NULL" (yakobowski) - assigned.
- 0002137: [Plug-in > value analysis] value analysis introduces weird pointer assert with variable length arrays (yakobowski) - assigned.
- 0002279: [Plug-in > value analysis] EVA analysis does not start with click on "Execution" button. (yakobowski) - resolved.

1 of 5 issue(s) resolved. Progress (20%).


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker