Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues

  • Open 19
  • Closed 173
  • All 192
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Frama-C GUI crashes under OS X
    #623 · created Mar 31, 2015 by Jens Gerlach   critical gui
    • CLOSED
    • 14
    updated Feb 22, 2021
  • frama-c/jessie crashes with Unexpected error (Cil.SizeOfError("Undefined sizeof on a function.", _)).
    #263 · created May 29, 2018 by mantis-gitlab-migration   critical jessie
    • CLOSED
    • 1
    updated Apr 20, 2021
  • Frama-C Kernel on a specific C file (unexpected error, assertion failed)
    #1179 · created Sep 03, 2013 by David Mentré   critical kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Frama-Clang crashes on error in contract
    #281 · created Jan 31, 2018 by Jens Gerlach   critical frama-clang
    • 0
    updated Feb 22, 2021
  • frama-clang fails to compile
    #240 · created Oct 01, 2018 by mantis-gitlab-migration   critical frama-clang
    • 3
    updated Feb 22, 2021
  • FRama C Nitrogen Nitrogen-20111001
    #520 · created Feb 22, 2016 by mantis-gitlab-migration   critical pdg
    • CLOSED
    • 2
    updated Feb 22, 2021
  • FRama C Nitrogen Nitrogen-20111001 crash during pdg construction
    #523 · created Feb 22, 2016 by mantis-gitlab-migration   critical pdg
    • CLOSED
    • 0
    updated Feb 22, 2021
  • Frama-C stops with unexpected failure (Ref. "norm.ml:1105:8")
    #1530 · created Oct 21, 2009 by mantis-gitlab-migration   critical jessie
    • CLOSED
    • 5
    updated Apr 15, 2021
  • Functions that claim to return a struct but don't cause a crash
    #344 · created Jun 21, 2016 by mantis-gitlab-migration   critical kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Goto outside of a block with assigns property
    #2218 · created Apr 04, 2011 by mantis-gitlab-migration   critical kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Gui crash with a new global variable
    #2245 · created Feb 01, 2011 by Victoria Moya Lamiel   critical gui
    • CLOSED
    • 4
    updated Feb 22, 2021
  • "Here" as predicate label in statement contract causes Segmentation fault
    #274 · created Feb 12, 2018 by Jochen Burghardt   critical frama-clang
    • 0
    updated Feb 22, 2021
  • Impact analysis does not catch Pdg.Top (returned on variadic calls)
    #2143 · created Mar 29, 2011 by Boris Yakobowski   critical impact
    • CLOSED
    • 2
    updated Feb 22, 2021
  • incompatible types for a correct spec
    #1386 · created Nov 25, 2011 by Julien Signoles   ACSL critical kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Incorrect 'assert false' in value analysis
    #1536 · created Feb 01, 2010 by Boris Yakobowski   critical eva
    • CLOSED
    • 0
    updated Feb 22, 2021
  • incorrect AST generated
    #1329 · created Aug 04, 2011 by Pascal Cuoq   critical kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Incorrect cil merging in presence of ACSL annotations
    #1971 · created Jan 17, 2011 by Boris Yakobowski   critical kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Incorrect handling of nearly-empty switch clauses with -simplify-cfg
    #1255 · created Feb 13, 2011 by Boris Yakobowski   critical kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Incorrect loop unrolling in presence of switch
    #1303 · created Jun 09, 2011 by Boris Yakobowski   critical kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • indexing of string literal apparently causes memory leak in framaCIRGen
    #666 · created Nov 24, 2014 by Jochen Burghardt   confirmed critical frama-clang
    • 3
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • Next