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 208
    • Issues 208
    • 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 208
  • Closed 1,261
  • All 1,469
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • 11 if-statements lead to why-runtime >12 min
    #2251 · created Jan 25, 2011 by Jochen Burghardt   jessie
    • CLOSED
    • 2
    updated Apr 15, 2021
  • 12799, doubtful choice of promotion x86_64 mode (csmith)
    #1276 · created Apr 11, 2011 by Pascal Cuoq   bug kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • 12816: Missing label in sliced program (csmith)
    #1268 · created Apr 11, 2011 by Pascal Cuoq   bug slicing
    • CLOSED
    • 4
    updated Feb 22, 2021
  • 12825, sliced program does not terminate
    #2150 · created Apr 12, 2011 by Pascal Cuoq   bug slicing
    • CLOSED
    • 1
    updated Feb 22, 2021
  • 14055: sliced program does not terminate (csmith)
    #2085 · created Jul 06, 2011 by Pascal Cuoq   bug slicing
    • CLOSED
    • 1
    updated Feb 22, 2021
  • 14292: warn for unspecified side-effect that are separated by a function call (csmith)
    #1786 · created Jul 25, 2011 by Pascal Cuoq   bug kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • 14403: last slicing bug (csmith)
    #2082 · created Jul 31, 2011 by Pascal Cuoq   bug slicing
    • CLOSED
    • 1
    updated Feb 22, 2021
  • 17514, -unspecified-access and if (*p = (*p < 3)) (csmith)
    #1368 · created Mar 10, 2012 by Pascal Cuoq   bug kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • 17517: defined program behaves differently after going through -print (csmith)
    #2066 · created Mar 10, 2012 by Pascal Cuoq   bug kernel
    • CLOSED
    • 1
    updated Feb 22, 2021
  • 17944 using option -unspecified-access, no alarm for x + (x=0)
    #1376 · created Apr 07, 2012 by Pascal Cuoq   bug kernel
    • CLOSED
    • 2
    updated Feb 22, 2021
  • -2147483647<=0 unprovable by Simplify, except in switch
    #2419 · created Feb 22, 2010 by Jochen Burghardt   enhancement jessie
    • CLOSED
    • 2
    updated Apr 15, 2021
  • 22446: unknown sizes of types and value initialization
    #996 · created May 07, 2013 by Pascal Cuoq   critical eva
    • CLOSED
    • 5
    updated Feb 22, 2021
  • 2D variable length array
    #223 · created Nov 03, 2015 by Julien Signoles   bug kernel
    • CLOSED
    • 0
    updated Feb 22, 2021
  • Able to assert a false statement
    #803 · created Mar 03, 2015 by mantis-gitlab-migration   bug wp
    • CLOSED
    • 2
    updated Apr 15, 2021
  • access to nested union/struct component causes crash
    #893 · created Jun 06, 2014 by Jochen Burghardt   confirmed critical kernel
    • CLOSED
    • 2
    updated Mar 29, 2021
  • access to static struct fields unsupported in annotation
    #638 · created May 07, 2015 by Jochen Burghardt   bug frama-clang
    • 0
    updated Feb 22, 2021
  • access to volatile variable is eliminated from AST
    #1190 · created Dec 26, 2013 by Pascal Cuoq   bug kernel
    • CLOSED
    • 3
    updated Feb 22, 2021
  • ACSL builtins
    #1929 · created May 10, 2011 by Loïc Correnson   enhancement wp
    • CLOSED
    • 2
    updated Feb 22, 2021
  • ACSL comment rejected in function template
    #896 · created Jan 12, 2015 by Jochen Burghardt   bug confirmed frama-clang
    • 0
    updated Feb 22, 2021
  • ACSL label LoopEntry not handled by WP
    #1173 · created Jan 30, 2013 by mantis-gitlab-migration   bug wp
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 74
  • Next