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 (451 - 500 / 1180)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00013885   Kernelfeatureclosed (signoles)2014-03-13Frama-C should not honor -save if when it aborts
  00014155   Plug-in > Evaminorclosed (yakobowski)2014-03-13Logging just enough information for failed pre-conditions
  000144021 Kernelcrashclosed (virgile)2014-03-13AST integrity check failure with kernel-debug
  00014354   Plug-in > Evaminorclosed (yakobowski)2014-03-13The post-conditon of [gets] got status invalid
  000144112   Kernelminorclosed (signoles)2014-03-13frama-c.toplevel not working anymore
  00014572   Kernelminorclosed (virgile)2014-03-13Incorrect printing of designated initializers
  00013533   Plug-in > wpminorclosed (correnson)2014-03-13ACSL label LoopEntry not handled by WP
  00014515   Kernelminorclosed (signoles)2014-03-13Journalisation of -no-unicode option
  000144791 Plug-in > Evaminorclosed (yakobowski)2014-03-13uninitialized value can be passed through pointer, through return, but not through function argument
  000147531 Kernelcrashclosed (virgile)2014-03-13Frama-C Kernel on a specific C file (unexpected error, assertion failed)
  00014692   Kernelmajorclosed (virgile)2014-03-13Unsound transformation of ACSL annotations
  00014623   Plug-in > wpmajorclosed (correnson)2014-03-13invalid loop invariant marked as valid (without pending hypothesis)
  000150281 Kernelmajorclosed (virgile)2014-03-13goto L; with L: in a if/else branch
  00015002   Kernelcrashclosed (virgile)2014-03-13r24011: failure: Invalid combination of type specifiers
  00015622   Plug-in > obfuscatorfeatureclosed (signoles)2014-03-13Obfuscator for C Labels
  00015362   Kernel > ACSL implementationmajorclosed (virgile)2014-03-13Binding of label in annotations is strange
  000158421 Plug-in > Evacrashclosed (pascal)2014-03-13Assertion failure in Ival.scale_div
  00015893   Kernelminorclosed (virgile)2014-03-13access to volatile variable is eliminated from AST
  0001588151 Plug-in > wpmajorclosed (correnson)2014-03-13WP ignores some goal
  000158632 Plug-in > wpmajorclosed (correnson)2014-03-13Bug in let-elimination (due to <==> and assert false).
  00015903   Plug-in > scopetextclosed (yakobowski)2014-03-13Feedback from -remove-redundant-alarms
  00016267   Plug-in > wpminorclosed (correnson)2014-03-13Qedlib.v definition of tactic "replace by" clashes with standard tactic "replace with"
  00016235   Plug-in > wptweakclosed (correnson)2014-03-13Allow starting coq from Frama-C GUI also for proven obligations
  000163171 Plug-in > wpminorclosed (correnson)2014-03-13Confusing bullets for unproven obligations under OSX
  00009292   Kernelfeatureclosed (virgile)2014-03-13syntax error in value binary assignment
  00006248   Kernelcrashclosed (correnson)2014-03-13Logging huge messages makes kernel crashing
  000133031 Kernelminorclosed (virgile)2014-03-13inconsistent redefinition of type undetected
  000104471 Plug-in > Evafeatureclosed (yakobowski)2014-03-13Smarter access to array of struct of array
  000144341 Plug-in > wpminorclosed (signoles)2014-03-13Property reported as inconditionnally valid when its dependency graph shows some orange box
  00014361   Plug-in > pdgcrashclosed (yakobowski)2014-03-13Stack overflow when computing a PDG
  00014808   Kernel > ACSL implementationminorclosed (yakobowski)2014-03-13assigns \result \from ...; in the AST should be pretty-printed as any other assigns clause
  00014485   Plug-in > Evaminorclosed (yakobowski)2014-03-13Interpretation of @ assigns \result;
  00014457   Plug-in > slicingcrashclosed (patrick)2014-03-13Crash when selecting the calls to an unterminating functions
  000148641 Plug-in > Evamajorclosed (yakobowski)2014-03-13validity of a field defined in an abstract struct typedef
  00015493   Plug-in > wpfeatureclosed (correnson)2014-03-13Error message when a solver is not installed
  00015631   Plug-in > obfuscatorminorclosed (signoles)2014-03-13Obfuscator for tags names in ACSL terms, properties, behaviors
  000155921 Plug-in > Evamajorclosed (yakobowski)2014-03-13pointer comparable assert generated between void* and unsigned long
  00015732   Kernelcrashclosed (yakobowski)2014-03-13Syntax error because of pause instruction in inline assebly
  000157213 Kernelcrashclosed (yakobowski)2014-03-13Multiple contracts merge twice resutling in Kernel error
  00016011   Plug-in > wpblockclosed (correnson)2014-03-13WP Plugin with Alt-Ergo - unable to prove?
  00015751   Kernelblockclosed (yakobowski)2014-03-13Field 'find' required but not provided in src/ai/abstract_interp.cmi
  000162231 Plug-in > wpmajorclosed (correnson)2014-03-13WP: This term has type real but is expected to have type int
  00016033   Plug-in > wpmajorclosed (correnson)2014-03-13Errors in coq files generated by WP
  000128923 Plug-in > aora├»crashclosed (virgile)2014-03-13aorai causes failed assertion
  0001439    Kerneltrivialclosed (Matthieu Lemerre)2014-03-13Few fixes in libc/sys/socket.h
  000147721 Plug-in > Evacrashclosed (yakobowski)2014-03-13Value analysis: bad type conversion plus unassigned fields in a struct leads to crash
  0001687    Plug-in > wpmajorassigned (correnson)2014-03-12Frama-C GUI discards candidate coq proof
  00006162   Kernelmajorclosed (monate)2014-02-12Comments parsing
  000071871 Plug-in > Evaminorclosed (pascal)2014-02-12possible unsoundness in r11866
  000071741 Plug-in > Evaminorclosed (pascal)2014-02-12possible unsoundness bug
  [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker