Skip to content

Issues: diffblue/cbmc

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
20 Open 311 Closed
20 Open 311 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

uninitialized check C Front End
#8545 opened Dec 23, 2024 by kroening • Draft
3 of 5 tasks
2
C front-end: fix processing of alignment and packing attributes C Front End
#8454 opened Sep 13, 2024 by tautschnig Loading…
4 tasks done
1
@kroening
3
Conversion error with _Generic + array C Front End
#8243 opened Mar 15, 2024 by P-p-H-d
@tautschnig
1
Wrong linkage of global variables annotated with __attribute__((section)) bug C Front End
#8127 opened Dec 19, 2023 by cesaro
@tautschnig
C library: Refine and improve stdio models C Front End
#8043 opened Nov 16, 2023 by tautschnig Loading…
3 of 4 tasks
@kroening @peterschrammel
1
Mimic GCC/Clang simplification behaviour when type checking ?: C Front End
#7959 opened Oct 13, 2023 by tautschnig Loading…
3 tasks done
1
@kroening
24
Wrong result using __va_list_tag_type with multiple arguments bug C Front End pending merge
#7706 opened May 10, 2023 by evgeny7421
1
1
add a 'language feature' facility for goto programs C Front End
#7695 opened May 1, 2023 by kroening • Draft
3 of 4 tasks
3
C front-end: ensure array type updates are consistent bugfix C Front End
#7610 opened Mar 22, 2023 by tautschnig Loading…
3 tasks done
1
@kroening
1
C front-end: tolerate type differences with asm renaming C Front End
#7584 opened Mar 9, 2023 by tautschnig Loading…
3 tasks done
@tautschnig
2
disallow flexible array members in unions C Front End
#7296 opened Nov 3, 2022 by kroening Loading…
3 of 4 tasks
@kroening
1
C library: atexit C Front End Needs rebase
#6604 opened Jan 21, 2022 by tautschnig • Draft
3 tasks done
@tautschnig
sqrtf appears to be non-deterministic and throwing spurious verification failures bug C Front End SMT Backend Interface
#6563 opened Jan 8, 2022 by sree314
@sree314
3
C grammar: introduce attribute_specifier C Front End
#5945 opened Mar 17, 2021 by kroening • Draft
2 tasks done
@kroening @feliperodri
1
gen_nondet_array_init: arrays may have size 0 bugfix C Front End
#5342 opened May 13, 2020 by kroening Loading…
2 of 4 tasks
@kroening
4
C frontend issue with arrays that are declared without a length C Front End
#5022 opened Aug 15, 2019 by romainbrenguier
@nwetzler
The size of arrays is unsigned C++ Front End C Front End
#4714 opened May 28, 2019 by tautschnig Loading…
2 of 3 tasks
@tautschnig
1
Consider using PRECONDITION etc. in expr2c C Front End cleanup
#1760 opened Jan 20, 2018 by tautschnig
1
ansi-c/Array_Declarator* regression tests: front end is too permissive bug C Front End
#132 opened Jun 20, 2016 by tautschnig
Support for GNU GCC nested functions C Front End feature request
#84 opened Apr 28, 2016 by peterschrammel
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.