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 5
  • Closed 124
  • All 129
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Smarter access to array of struct of array
    #1204 · created Dec 10, 2011 by Pascal Cuoq   enhancement eva
    • CLOSED
    • 7
    updated Feb 22, 2021
  • value analysis memory consumption problem when using -lib-entry option
    #1988 · created Nov 25, 2011 by mantis-gitlab-migration   bug eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Emitted assertion wrongly reduces to bottom (apparently) (csmith)
    #1379 · created Nov 19, 2011 by Pascal Cuoq   bug eva
    • CLOSED
    • 12
    updated Feb 22, 2021
  • Invalid handling of shift of pointer address
    #1979 · created Oct 27, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Evaluation in the logic can cause crashes
    #1781 · created Oct 25, 2011 by Boris Yakobowski   critical eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Invariant used only in absence of precondition
    #2099 · created Oct 23, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Warnings in presence of Top floats
    #1980 · created Oct 23, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 7
    updated Feb 22, 2021
  • Wrong result when subtle promotions involved in x86_32 (csmith)
    #2102 · created Oct 21, 2011 by Pascal Cuoq   bug eva
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Slicing generates empty program (csmith)
    #1775 · created Sep 19, 2011 by Pascal Cuoq   bug eva
    • CLOSED
    • 7
    updated Feb 22, 2021
  • Valid access to literal w_chart string address considered invalid
    #2122 · created Sep 02, 2011 by Benjamin Monate   bug eva
    • CLOSED
    • 0
    updated Feb 22, 2021
  • Should warn for overlapping lv=lv; assignments
    #295 · created Sep 01, 2011 by Pascal Cuoq   bug eva
    • CLOSED
    • 5
    updated Mar 29, 2021
  • strange value-set for loop-variable in presence of flexible array
    #2180 · created Aug 12, 2011 by Jochen Burghardt   eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Bogus uninitialized value messages for trivial safe program
    #2184 · created Aug 11, 2011 by mantis-gitlab-migration   bug eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • Improve Db.Properties.Interp.loc_to_loc
    #2119 · created Aug 05, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 3
    updated Feb 22, 2021
  • interest for a built-in memset function
    #1794 · created Aug 05, 2011 by David Delmas   enhancement eva
    • CLOSED
    • 4
    updated Feb 22, 2021
  • Option -val-signed-overflow-alarms misses some overflow
    #2189 · created Jul 26, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 1
    updated Feb 22, 2021
  • File "src/memory_state/lmap.ml", line 931, characters 22-28: Assertion failed
    #1320 · created Jul 25, 2011 by Benjamin Monate   critical eva
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Results differ between value analysis and GCC on bitfields
    #1316 · created Jul 25, 2011 by Benjamin Monate   bug eva
    • CLOSED
    • 2
    updated Feb 22, 2021
  • Crash du builtin memcpy, par une exception non rattrapable
    #1313 · created Jul 07, 2011 by Boris Yakobowski   critical eva
    • CLOSED
    • 3
    updated Feb 22, 2021
  • Widen hints for a variable should not influence the values for other variables
    #543 · created Jul 04, 2011 by Boris Yakobowski   bug eva
    • CLOSED
    • 5
    updated Feb 22, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Next