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 any 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 (451 - 500 / 1222)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  000169572 Plug-in > E-ACSLmajorclosed (signoles)2014-09-15Impossible to compile the eacsl produced source
  00016921   Plug-in > E-ACSLtweakclosed (signoles)2014-09-15Wrong localisation of not yet supported constructs
  000191312 Plug-in > jessiecrashassigned (cmarche)2014-08-26Jessie crashes on incorrectly declared malloc
  000190611 Plug-in > slicingcrashclosed (patrick)2014-08-06Crash in the case of multiple pragma statements
  00019034   Kernel > configureminorclosed (signoles)2014-08-04Configure fails for GNU Make 4.0
  00015741   Kernel > configuremajorclosed (virgile)2014-08-04make version 4.0 is rejected
  00014165   Plug-in > Evacrashclosed (yakobowski)2014-07-2822446: unknown sizes of types and value initialization
  0001847    Plug-in > wpminorassigned (correnson)2014-07-21Problem with _Bool(when casting to int or with ?:)
  0001844 1 Plug-in > wpcrashassigned (correnson)2014-07-17assigns crash on incorrect locations
  000163842 Plug-in > wpmajoracknowledged (correnson)2014-07-17assigns clause appears unprovable
  00011032   Kernelfeatureassigned (virgile)2014-07-11Default @requires property for the [main] function
  00017331   Kernel > Makefileblockclosed (signoles)2014-07-09Erreur de linkage de librarie ocaml avec des fichier objets
  00014613   Plug-in > wpminoracknowledged (correnson)2014-06-17assigns, loop assigns and loop invariant
  000181212 Plug-in > wpminoracknowledged (correnson)2014-06-17Assigns not respected in behaviors when using pointers to pointers
  000158741 Plug-in > wpminorclosed (correnson)2014-06-12syntax error for alt-ergo with memset spec
  00016643   Plug-in > Evamajorclosed (yakobowski)2014-06-06double puzzle - precondition not proved using WP/Val plugin
  0001804    Plug-in > wpcrashassigned (correnson)2014-06-06WP crash when type casting in lemma
  0001801    Plug-in > wpmajorassigned (correnson)2014-06-06WP doesn't warn about volatile variables
  0001800    Kernelminorassigned (virgile)2014-06-06Cannot use quotes in comments in annotations
  000160261 Plug-in > wpcrashclosed (correnson)2014-06-02Signal -7 and then crashed.
  00016782   Plug-in > wpmajorclosed (correnson)2014-06-02Frama-C/WP does not warn about unsatisfied precondition
  00015377   Plug-in > wpfeatureacknowledged (correnson)2014-06-02Frama-C should warn about inconsistent specification of declared functions
  00016531   Plug-in > wpmajorclosed (correnson)2014-06-02short int to float assertion not proved
  00016511   Plug-in > wpmajorclosed (correnson)2014-06-02int to double - assert not verified
  000165592 Plug-in > wpmajorclosed (correnson)2014-06-02WP: Assertion not proved -> conversion from float to int issue?
  000165211 Plug-in > wpmajorclosed2014-06-02WP - strcpy not proved
  00017666   Plug-in > RTEmajorclosed (signoles)2014-05-19Missing rte guard when assigning an unsigned int to an int
  000176911 Plug-in > RTEmajorclosed (correnson)2014-05-19Unproven rte assertions for bit complement
  00016902   Kernel > Makefilemajorclosed (virgile)2014-03-26Compiling Wp-Coq library
  000147851 Plug-in > E-ACSLmajorclosed (signoles)2014-03-25E-ACSL reports use of invalid pointer while in fact the pointer is valid
  00007454   Kernel > ACSL implementationminorclosed (virgile)2014-03-25Very big integer constants
  00007447   Kernel > ACSL implementationmajorclosed (virgile)2014-03-25Too much type promotion for terms
  00010724   Plug-in > Evafeatureclosed (yakobowski)2014-03-25evaluation of && and || in term position
  000163452 Plug-in > E-ACSLcrashclosed (signoles)2014-03-25e-acsl translation: unexpected error
  0001645    Kernelminorassigned (virgile)2014-03-24Initializer of static variable refers to size of type of local variable
  0001712    Kernelminorassigned (virgile)2014-03-24Statically reject programs that jump over VLA declaration.
  00016913   Plug-in > Evamajorclosed (yakobowski)2014-03-16Unbound value Base.get_varinfo (Neon)
  00014542   Kernel > configureminorassigned (virgile)2014-03-14Configure script's autolocation of local OcamlGraph breaks out of tree builds
  0001699    Plug-in > wpfeatureassigned (correnson)2014-03-14Develop strategies to efficiently run WP with different ATP and Coq
  0001693    Plug-in > wpfeatureassigned (correnson)2014-03-14Generate footprint from reads clauses of logic declarations
  0001694    Plug-in > wpfeatureassigned (correnson)2014-03-13Generate proof obligation for drivers when driver instantiate a logic acsl declaration
  000136941 Plug-in > Evaminorclosed (yakobowski)2014-03-13strange warning "postcondition got status invalid"
  00013522   Kernelminorclosed (virgile)2014-03-13Error message could be better
  00013885   Kernelfeatureclosed (signoles)2014-03-13Frama-C should not honor -save if when it aborts
  00014155   Plug-in > Evaminorclosed (yakobowski)2014-03-13Logging just enough information for failed pre-conditions
  000144021 Kernelcrashclosed (virgile)2014-03-13AST integrity check failure with kernel-debug
  00014354   Plug-in > Evaminorclosed (yakobowski)2014-03-13The post-conditon of [gets] got status invalid
  000144112   Kernelminorclosed (signoles)2014-03-13frama-c.toplevel not working anymore
  00014572   Kernelminorclosed (virgile)2014-03-13Incorrect printing of designated initializers
  00013533   Plug-in > wpminorclosed (correnson)2014-03-13ACSL label LoopEntry not handled by WP
  [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker