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 Frama-C Oxygen-20120901 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 (1 - 50 / 104)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  000098921 Plug-in > callgraphminorclosed (signoles)2018-11-30Strange dot callgraphs
  00010855   Documentationminorclosed (signoles)2016-06-21Cute boolean options too cute for their own good
  00010143   Documentationminorclosed (signoles)2016-06-21gui and doc
  000109211 Documentation > manualstextclosed (pascal)2016-06-21some typos etc. in the value-analysis manual
  000108931 Documentation > manualsminorclosed (signoles)2016-06-21Updated example in plugin-development-guide
  00010881   Documentation > manualsminorclosed (signoles)2016-06-21Plugin-development-guide section 2.1.2
  000106761 Documentation > manualstrivialclosed (pascal)2016-06-21suggest to mention option "-value-help" in value analysis manual
  00010364   Documentation > manualsfeatureclosed (signoles)2016-06-21In section 5.11.5 of the Plugin developper manual : Reference to modules that neither appear in the API nor in Frama-c source.
  00009911   Documentation > manualstextclosed (virgile)2016-06-21outdated manual titles
  00004192   Documentation > manualstextclosed (signoles)2016-06-21Plug-in dev guide: tutorial for kernel integrated plug-in is out-of-date
  00007454   Kernel > ACSL implementationminorclosed (virgile)2014-03-25Very big integer constants
  00010724   Plug-in > Evafeatureclosed (yakobowski)2014-03-25evaluation of && and || in term position
  000075981 Plug-in > Evamajorclosed (pascal)2014-02-12wrong treatment for const arrays in lib-entry mode
  00010734   Kernelmajorclosed (virgile)2014-02-12Some functions lose their formals after File.create_project_from_visitor
  00011003   Kernelminorclosed (yakobowski)2014-02-12Loop unrolling sub-optimal in presence of some labels
  00010996   Kernelcrashclosed (virgile)2014-02-12Crash when parsing an incorrect program with pointer to arrays
  00010692   Kernel > configureminorclosed (virgile)2014-02-12Handling error in external plug-in through --enable-external
  00009902   Kernelcrashclosed (virgile)2014-02-12Crash with multiple incompatible declarations
  00009862   Plug-in > wpminorclosed (correnson)2014-02-12Wrong [\valid(p)] outside the pointed variable scope
  00010233   Documentation > ACSLtextclosed (virgile)2014-02-12\valid_range not mentioned in Acsl manual
  00009992   Kernelminorclosed (virgile)2014-02-12Missing or misleading warnings when merging two functions
  000099311   Plug-in > frommajorclosed (yakobowski)2014-02-12Incorrect dependencies in presence of declared functions
  000100921 Kernel > ACSL implementationminorclosed (virgile)2014-02-12code annotation placed above a local declaration are not correctly handled
  00010063   Kernelminorclosed (virgile)2014-02-12Kernel should desugar "complete behaviors"
  00011324   Kernelminorclosed (signoles)2014-02-12-cpp-extra-args option should be a list
  00011353   Kernelmajorclosed (patrick)2014-02-12unrolling loop statements with labels into there annotations are not handled correctly (in conjunction with -ulevel)
  00011142   Kernelminorclosed (virgile)2014-02-1217514, -unspecified-access and if (*p = (*p < 3)) (csmith)
  000111331 Kernelminorclosed (virgile)2014-02-12Preprocessing code may yield expanded code with undeclared variables
  000113641 Kernelminorclosed (virgile)2014-02-12[Globals.Vars.get_astinfo] doesn't work
  000112621 Kernelminorclosed (virgile)2014-02-12AST check failure : problem with generated block-local variables
  00011393   Kernelcrashclosed (patrick)2014-02-12unrolling labeled loops
  000111641 Kerneltrivialclosed (virgile)2014-02-12axiom outside axiomatic tacitly ignored in presence of struct
  000114251 Plug-in > Evaminorclosed (yakobowski)2014-02-12Bad AST generation ?
  00011442   Kernelminorclosed (virgile)2014-02-1217944 using option -unspecified-access, no alarm for x + (x=0)
  00011453   Kernel > Makefileminorclosed (signoles)2014-02-12PLUGIN_LINK_GUI_OFLAGS not used ?
  0001024121 Plug-in > Evamajorclosed (yakobowski)2014-02-12Emitted assertion wrongly reduces to bottom (apparently) (csmith)
  00011653   Kernelminorclosed (virgile)2014-02-12[libc] erreur: #endif sans #if
  00011107   Kernelcrashclosed (yakobowski)2014-02-12Using Filter without Value
  00010503   Plug-in > aora├»minorclosed (virgile)2014-02-12Sequence number generated by aorai is incorrect
  000102731 Kernel > ACSL implementationcrashclosed (virgile)2014-02-12incompatible types for a correct spec
  000105632 Kernel > ACSL implementationcrashclosed (virgile)2014-02-12Frama-c fails when Starting Jessie Translation
  000106631 Plug-in > Evatrivialclosed (pascal)2014-02-12suggest to use "NULL" rather than "&NULL" for null pointer
  00010822   Kernel > Makefiletrivialclosed (signoles)2014-02-12Bad links in generated documentation modules.svg
  00010794   Plug-in > scopefeatureclosed (yakobowski)2014-02-12Imprecision of 'Defs' when querying precise location
  000107161 Plug-in > Evatweakclosed (pascal)2014-02-12relation chains exploited incompletely
  0001025163 Kernelminorclosed (yakobowski)2014-02-12Cil.prepareCfg (or -simplify-cfg option) insert dummy locations in the ast
  000010711   Plug-in > slicingmajorclosed (yakobowski)2014-02-12Slicer: slicing preserving some undesired function calls
  000025151 Plug-in > Evaminorclosed (yakobowski)2014-02-12wrong origin displayed in the GUI
  00007284   Kernelminorclosed (yakobowski)2014-02-12Arguments are not checked when function call precedes function declaration
  00012144   Plug-in > Evaminorclosed (yakobowski)2014-02-12FRAMA_C_MALLOC_INFINITE not used in stdlib.c
  [ First Prev 1 2 3 Next Last ]


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker