Frama-C Bug Tracking System

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status: Product Version: Fixed in Version: Target Version: Priority:
any none any Frama-C 17-Chlorine any any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
Match Type: All Conditions  
- Search  Advanced Filters ]

Viewing Issues (1 - 10 / 10)  Print Reports ]  CSV Export ]  Excel Export ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00023801   Plug-in > wpminorclosed (correnson)2018-11-30`strlen` used from code makes it no longer possible to prove `assigns \nothing`.
  000240031 Plug-in > clangmajorclosed (virgile)2018-09-21Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h
  000183461 Plug-in > E-ACSLminorclosed (signoles)2018-07-11Cannot compile variable length arrays
  000233441 Plug-in > jessiecrashclosed (cmarche)2018-07-11Crash when trying to analyse a file with jessie
  000236831 Plug-in > clangcrashclosed (virgile)2018-07-11Crash on attempt to start framaCIRGen when libs are linked statically and dynamically.
  000237583 Opamminorclosed (maroneze)2018-07-11Issues while installation of Frama-C using OPAM
  00023733   Opamminorclosed (maroneze)2018-07-11opam install why3 failed
  00023442   Plug-in > wpminorclosed (correnson)2018-07-11Invalid sizeof(struct) calculation in Sulfur
  00023771   Opamminorclosed (maroneze)2018-07-11Frama-C incompatible with Coq 8.8.0
  000238321 Plug-in > wpminorclosed (correnson)2018-07-04WP: internal error: only the kernel should set the status of property assumes
 

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker