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 (51 - 100 / 1220)  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
  00024502   Documentation > manualsminorresolved (patrick)2019-07-17formatting problem in acsl-implementation-18.0-Argon.pdf
  00024181   Documentation > manualstrivialresolved (signoles)2019-07-16Outdated -rte-all option in RTE manual
  00024631   Plug-in > clangmajorassigned (virgile)2019-07-08Error in frama-clang make file
  00024622   Plug-in > clangmajorassigned (virgile)2019-07-05frama-clang failed to install
  000147171 Kernelminorclosed (signoles)2019-07-05r23410: unsound reporting of pre-condition status
  000243321 Plug-in > obfuscatorminorclosed (virgile)2019-07-05Obfuscator does not obfuscate argument name of function pointers
  00018091   Kerneltweakclosed (maroneze)2019-07-05Frama-C should not have unimplemented headers
  000243211 Kernelminorclosed (virgile)2019-07-05Attributes of size 1 are rejected
  00024292   Graphical User Interfacemajorclosed (virgile)2019-07-05Porting to Lablgtk3 (GTK3 OCaml bindings)
  000237231 Kernel > configuremajorclosed (virgile)2019-07-05coq and ocaml conflict
  000245371 Plug-in > wpmajorclosed (bobot)2019-07-05number of generated files in Frama-C 18 vs 19. beta(2)
  000238231 Kernelminorclosed (virgile)2019-07-05handling of escape sequences
  000243752 Kernelmajorclosed (correnson)2019-07-05External provers broken with 19.0-beta1
  00024573   Kernel > configureminorassigned (virgile)2019-06-20configure does not detect gtksourceview due to wrong path
  00024581   Kernel > configureminorassigned (virgile)2019-06-20build failure due to mangled variable assignment in Makefile
  000245481 Plug-in > wpminorclosed (correnson)2019-06-19Ambiguous path error using why3
  00024561   Kernel > Makefileminorassigned (bobot)2019-06-18Does not build with OCaml 4.08.0
  00024491   Documentation > websitetrivialconfirmed (virgile)2019-06-10invalid links to "ACSL by Example"
  00024481   Documentation > websiteminorassigned (bobot)2019-06-04frama-c installation needs dune > 1.5 package installed
  0002435 1 Kernelmajorassigned (virgile)2019-05-08kernel generates UnspecifiedSequence when 2 following ternary operators
  000242811 Plug-in > wpmajorclosed (correnson)2019-02-25Division by zero doesn't increase the number of VC in console output
  00024262   Plug-in > wpminorclosed (correnson)2019-02-12One \valid seems sufficient to write in a whole array.
  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
  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
  000241321 Plug-in > E-ACSLmajorconfirmed (signoles)2018-12-06missing E-ACSL code when ignoring asm annotation
  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
  00024023   Plug-in > clangblockassigned (virgile)2018-10-03frama-clang fails to compile
  000240322 Plug-in > wpmajorclosed (correnson)2018-10-02Newer releases of FramaC produce apparent WP plug-in bug
  [ 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