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 closed (And Above) any any any any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any Yes 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 (201 - 250 / 296)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  0001576 1 Kernelfeatureassigned (virgile)2013-11-28declaration of variable of type void accepted
  00014501   Kernelminorconfirmed (signoles)2013-09-26journalization of -print option
  000147161 Kernelminoracknowledged (signoles)2013-09-26r23410: unsound reporting of pre-condition status
  00014303   Plug-in > reportminorassigned (correnson)2013-05-31RTE are not in 'report'
  00014281   Plug-in > wpminorassigned (correnson)2013-05-24Range verification in 2D-array fails
  0001418    Kernel > configuremajorassigned (virgile)2013-05-09Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")
  0001417    Plug-in > jessieminorassigned (cmarche)2013-05-08Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists,
  0001389    Plug-in > wpfeatureassigned (correnson)2013-04-16Translation of tsets
  000076551 Plug-in > wpminorassigned (correnson)2013-03-09Post-state of statement spec
  000085241 Kernelminorassigned (virgile)2013-01-25non-constant size of 2-dim array causes error in recursive procedure
  0001332    Plug-in > wpcrashassigned (correnson)2012-12-15[wp] failure: not an integer (Blob)
  0001327    Kernelminorassigned (virgile)2012-12-12Code annotation in the middle of labels
  0001291    Kernel > ACSL implementationminoracknowledged (virgile)2012-10-31Typing rejects polymorphic logic constants
  0001288 2 Plug-in > aora├»trivialacknowledged (virgile)2012-10-26.ya filename missing in error report
  0001280    Plug-in > wpminorassigned (correnson)2012-10-13Printing of function types causes a stack overflow
  0001279 1 Plug-in > wpcrashassigned (correnson)2012-10-13Multiple branches to a label/loop entries crashes wp
  000037921 Plug-in > jessiecrashassigned (cmarche)2012-09-21\separated
  000118641 Plug-in > wpminorassigned (correnson)2012-06-15ltl does not accept state charts with transitions invoking dynamic function pointers
  000065811 Plug-in > jessiefeatureassigned (cmarche)2012-06-10loop assigns crash
  000065311 Plug-in > jessieminorassigned (cmarche)2012-06-10jessie's Unexpected failure
  0001010    Plug-in > wpfeatureassigned (correnson)2012-06-09warn on stderr about current restrictions, and list them in WP manual
  00011901   Kernelminorassigned (virgile)2012-06-09__builtin_alloca
  000116111 Plug-in > jessiefeatureassigned (cmarche)2012-04-17error in wp_behav.c
  000115441 Plug-in > jessieminorassigned (cmarche)2012-04-17erroneous left value (structure field)
  0001093 1 Plug-in > jessiecrashassigned (cmarche)2012-02-14Passing multi-dimensional arrays via reference fails
  00009672   Kernel > ACSL implementationminorassigned (virgile)2012-02-09unbound function \length in annotation
  0000252    Plug-in > jessiefeatureassigned (virgile)2012-01-21type invariants
  0001062    Plug-in > jessiemajorassigned (cmarche)2012-01-12Jessie incorrectly handles initialization of static array with {} initialization
  0001058    Plug-in > jessieminorassigned (cmarche)2012-01-04Jessie incorrectly handles labels
  000105112 Plug-in > wptextassigned (correnson)2011-12-16suspicious axiomatization of included,zrange,zunion in .sx file
  0001047 1 Plug-in > jessiemajorassigned (cmarche)2011-12-12labels defined before loops and used after loops are not correctly translated in jessie
  0001033    Plug-in > jessiefeatureassigned (cmarche)2011-11-29Feature request (Jessie): \fresh (and \separated)
  0001032 2 Plug-in > jessiefeatureassigned (cmarche)2011-11-29assigns nothing is not possible to proof, if malloc is not in a same function
  000100822 Plug-in > jessiefeatureassigned (cmarche)2011-11-16suggest to supply lower-bound for constant_too_large_2147483647 to Simplify
  000100741 Kernel > ACSL implementationmajorassigned (virgile)2011-11-10wrong proof obligation generated for loop initialization [under why-2.30]
  0001011    Plug-in > wpfeatureassigned (correnson)2011-11-04suggest to provide FILE,LINE references for proof obligations in WP cmd-line output
  0000980    Kernel > ACSL implementationfeatureassigned (virgile)2011-10-06Functional expression in assigns properties
  0000923 1 Plug-in > jessiemajorassigned (cmarche)2011-08-12Jessie Plugin returns an error. Code with struct-statement, cannot be compiled.
  000092211 Plug-in > jessiemajorassigned (cmarche)2011-08-12Jessie Plugin returns an error. Code with struct-statement, cannot be compiled in a function by call by value.
  0000846 1 Plug-in > jessieminorassigned (cmarche)2011-05-30array access in "decreases"-clause causes "Unexpected internal region in logic"
  0000834    Plug-in > jessieminorassigned (cmarche)2011-05-24Computation of regions for axioms in axiomatics
  000082931 Plug-in > jessieminorassigned (cmarche)2011-05-24alias between int* and uint* handled incorrectly
  0000813 1 Plug-in > jessieminorassigned (cmarche)2011-05-09struct dereferencing causes uncaught exception
  000081121 Plug-in > jessieminorassigned (cmarche)2011-05-06double struct dereferencing causes unbound variable error
  0000734    Kerneltweakassigned (correnson)2011-02-21Command.command_generic may raise Sys_error
  0000713    Kernel > ACSL implementationfeatureassigned (virgile)2011-02-10Any number of ";" should be allowed in specifications
  0000712    Plug-in > jessiemajorassigned (cmarche)2011-02-10Validity of valid pointer to struct member cannot be verified
  000066732 Plug-in > jessiecrashassigned (cmarche)2011-01-25/usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception.
  0000676    Kernelminorassigned (virgile)2011-01-18Strange AST produced with unspecified side-effects involve function calls in expressions
  0000670 1 Plug-in > jessieminorassigned (cmarche)2011-01-12In certain circumstances Jessie cannot analyse files that it generates
  [ First Prev 1 2 3 4 5 6 Next Last ]


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker