2021-02-27 10:22 CET
+ 


Viewing Issues (251 - 269 / 269)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  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
  00000421   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

newfeedbackacknowledgedconfirmedassignedresolved