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 (1 - 50 / 1186)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  000233873 Plug-in > wpminorassigned (correnson)2019-03-11\false provable from recursive logic definition
  0001806    Plug-in > wpminorassigned (correnson)2019-03-08Error in coq code generated by wp
  00024291   Graphical User Interfacemajorfeedback (virgile)2019-02-25Porting to Lablgtk3 (GTK3 OCaml bindings)
  000242811 Plug-in > wpmajorclosed (correnson)2019-02-25Division by zero doesn't increase the number of VC in console output
  000237812 ptestsminorassigned (bobot)2019-02-25Bytecode only compilation fails when linking to stdlib
  000242751 Plug-in > wpminorassigned (correnson)2019-02-18Prove of \false
  00024262   Plug-in > wpminorclosed (correnson)2019-02-12One \valid seems sufficient to write in a whole array.
  00018091   Kerneltweakresolved (maroneze)2019-02-05Frama-C should not have unimplemented headers
  00023271   Plug-in > E-ACSLminorassigned (signoles)2019-01-25Failure to detect overflows into an allocated area within a struct
  0002194    Plug-in > E-ACSLminorassigned (signoles)2019-01-25Failure to record global variable with initialiser
  0002310 1 Plug-in > E-ACSLminorassigned (signoles)2019-01-25Incorrect handling of \initialized when initialized struct is passed to a function by value
  00024234   Plug-in > reportmajorclosed (maroneze)2019-01-24option -report-csv doesn't work anymore ?
  000242221 Plug-in > E-ACSLcrashconfirmed (signoles)2019-01-23Can't use e-acsl on a dynamic library containing all the instrumentations
  00024181   Documentation > manualstrivialacknowledged (signoles)2019-01-15Outdated -rte-all option in RTE manual
  0002420 1 Plug-in > wpcrashassigned (correnson)2018-12-28Wp crashes on a recursive function
  0002412101 Plug-in > E-ACSLcrashconfirmed (signoles)2018-12-17E-ACSL crash with RTE generated assertion with booleans
  0002419    Plug-in > RTEminorconfirmed (signoles)2018-12-17Missing cast in code generated by RTE
  000241741 Plug-in > E-ACSLmajorconfirmed (signoles)2018-12-12Invalid label with spaghetti code and E-ACSL full mmodel
  00024163   Plug-in > E-ACSLminoracknowledged (signoles)2018-12-11missing E-ACSL code, control flow graph, function pointer
  0002414    Plug-in > wpmajorassigned (correnson)2018-12-07Mk_addr not defined in Memory.v (coqwp via why3ide)
  000241321 Plug-in > E-ACSLmajorconfirmed (signoles)2018-12-06missing E-ACSL code when ignoring asm annotation
  0002389162 Plug-in > wpcrashassigned (correnson)2018-12-06Failure to detect qed libraries when running wp
  0001490 1 Plug-in > pathcrawlermajorclosed (muriel)2018-11-30With -no-lib-entry, the dimension of global structs is not passed to the generator
  0001648    Kernelmajorassigned (maroneze)2018-11-30Wrong specification for standard library function memmove
  00021925   Plug-in > E-ACSLminorclosed (kvorobyov)2018-11-30Plug-in crash with "Unregistered_library_function" error
  000098921 Plug-in > callgraphminorclosed (signoles)2018-11-30Strange dot callgraphs
  000043531 Plug-in > callgraphminorclosed (signoles)2018-11-30Too many edges in call graph
  0002186    Kernelmajorclosed (virgile)2018-11-302D variable length array
  00023801   Plug-in > wpminorclosed (correnson)2018-11-30`strlen` used from code makes it no longer possible to prove `assigns \nothing`.
  00024081   Plug-in > wpminorclosed (correnson)2018-11-30Some issues related to Frama-C 18.0 (beta) "Argon"
  00023994   Opammajorclosed (maroneze)2018-11-30Failed to install framaC on macosx using opam
  000238432 Kernelminorclosed (valentin.perrelle)2018-11-30user error: scalar value (of type int) initialized by compound initializer
  000237931 Kernel > libcminorclosed (maroneze)2018-11-30FE_* API is available on OpenBSD
  00017621   Plug-in > E-ACSLminorclosed (fmaurica)2018-11-30Generate out-of-scope variable when using quantified variable in a \old
  00023981   Documentation > manualsminorclosed (signoles)2018-11-30Name of RTE plugin in documentation
  000238642 Plug-in > E-ACSLminorclosed (fmaurica)2018-11-30E-ACSL: internal error: raised at file "src/libraries/project/project.ml", line 402
  00023542   Plug-in > RTEminorclosed (signoles)2018-11-30RTE assertion for signed right shift is wrong
  000230512 Plug-in > E-ACSLminorclosed (fmaurica)2018-11-30E-ACSL: proper bitfileds handling
  000240941 Plug-in > wpcrashconfirmed (correnson)2018-11-30crash
  000240711 Plug-in > wpmajorassigned (correnson)2018-10-31contracts about memory mapped I/O through volatile memory locations
  000240431 Plug-in > wpminorassigned (correnson)2018-10-09Shape of VC depends on selection of properties
  00024023   Plug-in > clangblockassigned (virgile)2018-10-03frama-clang fails to compile
  000240142 Plug-in > wpmajoracknowledged (correnson)2018-10-02Newer releases of FramaC produce apparent WP plug-in bug
  000240322 Plug-in > wpmajorclosed (correnson)2018-10-02Newer releases of FramaC produce apparent WP plug-in bug
  000240031 Plug-in > clangmajorclosed (virgile)2018-09-21Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h
  00023952   Plug-in > clangminorassigned (virgile)2018-09-07const fields in constructors
  000229021 Plug-in > wpminorassigned (correnson)2018-09-06incomplete loading of saved state when using WP?
  00006878   Kernelminorclosed (signoles)2018-09-05Losing some cmdline option settings when loading
  00023873   Plug-in > wpmajorclosed (correnson)2018-09-05WP is not able to validate a statically declared structure followed by a memset
  000239173 Kernel > Makefileminorclosed (virgile)2018-09-05Can't compile
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker