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 / 1222)  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
  000192221 Plug-in > wpcrashclosed (correnson)2015-03-17WP-Plugin crashes due to an internal error
  00020671   Plug-in > wpminorclosed (bobot)2015-03-17Frama-C does not work with versions of Why3 newer than 0.83
  00014855   Graphical User Interfacefeatureclosed (guillaume-petiot)2015-03-17Bullet colors are unreadable for color blind people
  00020203   Plug-in > pathcrawlermajorclosed (muriel)2015-03-17body of atomic cond belonging to an assume reproduced in sequence containing the assume
  00012761   Kernelmajorclosed (virgile)2015-03-17Capitalized filename in Dynamic.load_module
  00017685   Plug-in > slicingcrashclosed (patrick)2015-03-17Crah with the option -ulevel
  000175151 Plug-in > wpmajorclosed (patrick)2015-03-17Frama-C/WP "forgets" a proven assertion
  00018322   Plug-in > wptrivialclosed (correnson)2015-03-17typo in wp output: "interruped"-->"interrupted"
  000182821 Plug-in > wpminorclosed (patrick)2015-03-17Frame Validity
  00018571   Plug-in > Evaminorclosed (yakobowski)2015-03-17Crash on invalid -val-split-return-function option
  00018534   Kernelfeatureclosed (yakobowski)2015-03-17bogus syntax error with doxygen
  000190841 Plug-in > Evaminorclosed (yakobowski)2015-03-17Non terminating call to stncpy
  00019012   Kernelcrashclosed (virgile)2015-03-17Crash when merging contracts for duplicated functions with different formal parameters names
  00019301   Plug-in > wptextclosed (correnson)2015-03-17Status of POs: the word "interruped" should be "interrupted"
  00016701   Plug-in > wpminorclosed (correnson)2015-03-17WP ignores some goals when 'initialized' is used in hypotheses
  00016471   Plug-in > wpminorclosed (correnson)2015-03-17compatibility between \null in ACSL and NULL in C in wp
  00016304   Plug-in > wpminorclosed (correnson)2015-03-17Make identifiers in Coq proofs more similar to those from C code
  000172951 Kernelminorclosed (virgile)2015-03-17"char const * const *" causes syntax error
  000176511 Kernelminorclosed (signoles)2015-03-17Spelling errors in binary
  000176431 Kernelminorclosed (bobot)2015-03-17Port to OCamlgraph 1.8.5
  000175031 Plug-in > wpminorclosed (patrick)2015-03-17Frama-C/WP fails to discharge simple bit operation for small integer types
  00017764   Plug-in > wpmajorclosed (correnson)2015-03-17Assert erroneously proved valid
  000177021 Kernel > configureminorclosed (virgile)2015-03-17Cannot switch to local version if OCamlgraph is already installed
  00017671   Plug-in > wpminorclosed (correnson)2015-03-17Problem when arguments are not used in predicates
  00017796   Plug-in > wpcrashclosed (virgile)2015-03-17Crash when using wpo api get_result
  000178931 Kernel > ACSL implementationcrashclosed (correnson)2015-03-17Crashes when using logic in assigns statement
  00020882   Plug-in > wpminorclosed (correnson)2015-03-09False valid with LONG_MIN
  000208712 Plug-in > wpminoracknowledged (correnson)2015-03-09Able to assert a false statement
  0002054    ptestsminorassigned (virgile)2015-01-22ptest doesn't abort tests for which the command is incorrect
  00002493   Kernelminorclosed (signoles)2015-01-13dynamically link a library
  00006841   Graphical User Interfaceminorclosed (monate)2015-01-07Gui unusable if value analysis degenerates
  00020303   Plug-in > Evafeatureclosed (yakobowski)2015-01-07Value analysis generates incorrect Imperative outputs for arrays
  0002039 1 Plug-in > wpcrashassigned (correnson)2014-12-22WP-Plugin crashes due to an internal error when terms of sets during union have different types
  000194141 Plug-in > wpminorclosed (correnson)2014-12-16assertion not proved anymore by WP
  00020311   Plug-in > wpminorclosed (correnson)2014-12-16Option -wp-qed-checks generates invalid At-Ergo files
  0002011    Plug-in > wpmajorassigned (correnson)2014-12-02Unsoundness bug using native alt-ergo and Why3 due to reordering of lemmas
  00019622   Kernel > configureminorclosed (signoles)2014-12-02make install fails when --prefix is the source directory
  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
  [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker