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 (401 - 450 / 1186)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00019771   Kernelminorclosed (signoles)2014-11-27Kernel error with _Static_assert in a struct
  0001632    Kernel > ACSL implementationminorassigned (virgile)2014-10-29Translation of abrupt clause into assert do not take 'for :' clause into account
  0001943 1 Plug-in > jessiemajorassigned (cmarche)2014-10-29Jessie crashes with "Assertion failed"
  0001936 1 Plug-in > wpcrashassigned (correnson)2014-10-14WP crashes on \floor builtin
  00017002   Plug-in > E-ACSLminorclosed (guillaume-petiot)2014-09-15A valid pointer to an empty struct generate a failure
  000183831 Plug-in > E-ACSLminorclosed (guillaume-petiot)2014-09-15User defined function with specification memset conflicts with __e_acsl_memset in e_acsl_mmodel.c
  000183131 Plug-in > E-ACSLminorclosed (signoles)2014-09-15Command line arguments (argc/argv) are not marked as valid
  00018181   Plug-in > E-ACSLminorclosed (signoles)2014-09-15Global variables are not marked as initialized
  000171711 Plug-in > E-ACSLminorclosed (signoles)2014-09-15Instrumentation of statements with labels are not inserted at the correct location
  000171611 Plug-in > E-ACSLminorclosed (signoles)2014-09-15Dynamically allocated variables in body of while without break are not instrumented
  000171511 Plug-in > E-ACSLminorclosed (signoles)2014-09-15"[...]/e_acsl_bittree.c:341: __get_exact: Assertion `0' failed." using full memory model, asserting validty of local var
  000169662 Plug-in > E-ACSLminorclosed (signoles)2014-09-15warning: E_ACSL function 'initialize' called with null pointer - seems to affect the behavior
  00018361   Plug-in > E-ACSLminorclosed (signoles)2014-09-15A pointer can be reported as belonging to an adjacent memory blocks in the bittree memory model
  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)
  [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker