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

417 Open 917 Closed
417 Open 917 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

A missing entry point should be reported early
#1847 opened Feb 15, 2018 by tautschnig
Package_friendly loads the java_languaget twice which creates problems when there are models. Java Front End
#1807 opened Feb 7, 2018 by dcattaruzza
--json-ui --help should print help page in JSON format
#1770 opened Jan 26, 2018 by peterschrammel
Consider using PRECONDITION etc. in expr2c C Front End cleanup
#1760 opened Jan 20, 2018 by tautschnig
1
Replace uses of cout and cerr
#1757 opened Jan 19, 2018 by peterschrammel
@peterschrammel
1
Refactor basic block detection of coverage goal instrumenter
#1686 opened Dec 29, 2017 by peterschrammel
Discussion : best practice for handling (command line) options
#1521 opened Oct 25, 2017 by martin-cs
6
Java synchronized blocks don't throw NullPointerException bug Java Front End
#1236 opened Aug 14, 2017 by reuk
1
constexpr cast operator crashes parser bug C++ Front End
#1073 opened Jun 28, 2017 by abandoned-cocoon
Unwarranted "equality without matching types" error C++ Front End
#933 opened May 17, 2017 by cliffordwolf
6
Unable to resolve correct virtual method Java Front End
#930 opened May 16, 2017 by reuk
goto trace contains ssa information it shouldn't wontfix
#902 opened May 10, 2017 by owen-mc-diffblue
16
Some unit tests don't compile
#879 opened Apr 28, 2017 by thk123
1
Memory leak with full rt.jar, lazy-methods Java Front End
#877 opened Apr 27, 2017 by reuk
2
Fail to mark variable as static lifetime Java Front End
#851 opened Apr 20, 2017 by owen-mc-diffblue
Invalid Java byte-code errors not handled Java Front End
#849 opened Apr 20, 2017 by NathanJPhillips
5
Use clang address sanitizer in linux/clang CI pending merge
#832 opened Apr 14, 2017 by reuk
4
basic blocks are covered even when later assumes in that block are unsatisfiable
#826 opened Apr 13, 2017 by mgudemann
@mgudemann
2
Conversion Error with PKCS11Test.java from openjdk regression suite Java Front End
#759 opened Apr 4, 2017 by jgwilson42
Idea : Simplify and improve the symbolic execution code in the symex tool
#749 opened Apr 3, 2017 by martin-cs
7
Option parsing in java_bytecode_language Java Front End
#743 opened Mar 31, 2017 by reuk
1
Core dump with attached class file (from openjdk regression suite) Java Front End
#728 opened Mar 29, 2017 by jgwilson42
1
Core Dump due to minisat running out of memory - Should show out of memory error
#727 opened Mar 29, 2017 by jgwilson42
8
unicode support for java class files Java Front End
#628 opened Mar 13, 2017 by mgudemann
Please document use of assumptions, non-determinism in Java documentation
#611 opened Mar 8, 2017 by tautschnig
3
ProTip! Follow long discussions with comments:>50.