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 (251 - 275 / 275)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  0000433 1 Plug-in > jessietweakassigned (virgile)2010-03-23different translation of casted constants in program-code and in assertion
  000042431 Plug-in > jessieminorassigned (cmarche)2010-03-22Uncaught exception: Failure("Unexpected internal region in logic")
  0000416 1 Plug-in > jessieminorassigned (cmarche)2010-02-22local array decl with non-constant size causes Why error
  00000721   Plug-in > jessieminorassigned (cmarche)2010-02-12The specifications of statements are not translated
  00000792   Kernel > ACSL implementationfeatureassigned (virgile)2010-02-05Better support of //@ style
  0000387    Kernel > ACSL implementationfeatureassigned (virgile)2010-02-05ghost integer ?
  00003361   Plug-in > jessiemajorassigned (cmarche)2010-01-22cast between homogenous struct and array
  0000373    Plug-in > jessiemajorassigned (cmarche)2010-01-14Global invariants are not verified
  00003481   Plug-in > jessiemajorassigned (cmarche)2009-12-03Arithmetic safety of bitwise operators cannot be verified
  00000391   Plug-in > jessieminorconfirmed (cmarche)2009-11-24Frama-C/Jessie: memory set problem
  0000335 1 Plug-in > jessieminorassigned (cmarche)2009-11-20Unbound reference raised by Why
  0000328 1 Plug-in > jessiemajorassigned (cmarche)2009-11-13assertion failed in Jessie with bitfields inside union
  0000291 1 Plug-in > jessieminorassigned (cmarche)2009-10-20Unbound variable raised by why in presence of an unsafe cast
  0000040    Plug-in > jessieminorconfirmed (cmarche)2009-10-15Frama-C/Jessie: typing error
  000026121 Kernelminoracknowledged (virgile)2009-10-01Frama-C fails to parse a file
  0000256    Plug-in > jessieminorassigned (cmarche)2009-09-25array range in requires predicate
  0000025    Plug-in > jessieminoracknowledged (virgile)2009-09-21type invariants
  0000215 1 Plug-in > jessieminorassigned (cmarche)2009-08-25Mise en hypothèse de la précondition d'une opération appelée
  00001851   Plug-in > jessiemajorassigned (cmarche)2009-07-17Frama-C cannot process properly arrays of structures
  00001781   Plug-in > jessieminorconfirmed (cmarche)2009-07-09type error in generated why file
  00000921   Plug-in > jessieminorassigned (cmarche)2009-06-19Why error with logic functions returning a pointer
  00000422   Plug-in > jessiefeatureassigned (cmarche)2009-06-17Default invariant should be inferred for loops
  0000031    Plug-in > jessieminoracknowledged (cmarche)2009-06-17Why- error :-jessie-no-regions and assigns does not work
  0000032    Plug-in > jessieminorassigned (cmarche)2009-04-10Internal error with assign specification on bi-dimensional arrays
  0000038    Plug-in > jessieminorassigned (cmarche)2009-04-10Jessie crashes on simple program without annotations
  [ First Prev 1 2 3 4 5 6 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker