Skip to content

Issues: hbgit/Map2Check

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

23 Open 15 Closed
23 Open 15 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Add a argument to specify the name of the target function
#45 opened Nov 10, 2020 by rafaelsamenezes
Add option to use a specific generator enhancement
#43 opened Nov 3, 2020 by rafaelsamenezes
1
@rafaelsamenezes
Support to check floating-point arithmetic enhancement help wanted
#42 opened Jul 21, 2020 by hbgit
@hbgit
1
Add support to verify concurrent programs enhancement
#41 opened Jul 3, 2020 by hbgit
@hbgit
Add new subcategories from SV-COMP enhancement
#40 opened Jul 3, 2020 by hbgit
9 tasks
@hbgit
Add support to Termination Analysis enhancement help wanted
#38 opened May 31, 2020 by hbgit
@hbgit
Crucible support as a Symbolic Engine enhancement good-first-issue issues that do not need great knowledge about Map2Check or are easy to implement
#37 opened May 29, 2020 by rafaelsamenezes
@hbgit
1
KLEE crash incorrect results bug
#36 opened May 27, 2020 by hbgit
@hbgit
CRABLLVM generates UNKNOWN result bug
#34 opened May 26, 2020 by hbgit
@hbgit
Adopt a code slicer enhancement
#31 opened Apr 30, 2020 by hbgit
@hbgit
Add Coverage report enhancement
#29 opened Jan 24, 2020 by hbgit
@hbgit
Fix incorrect results in NoOverflows-Other bug
#27 opened Jan 17, 2020 by hbgit
3 tasks
@hbgit
Fix incorrect results in NoOverflows-BitVectors bug
#26 opened Jan 17, 2020 by hbgit
3 tasks
@hbgit
Fix incorrect results in MemSafety-MemCleanup bug
#25 opened Jan 17, 2020 by hbgit
1 task
@hbgit @rafaelsamenezes
Fix incorrect results in MemSafety-Other bug
#24 opened Jan 17, 2020 by hbgit
6 tasks
@hbgit
Fix incorrect results in ReachSafety-Heap bug
#23 opened Jan 17, 2020 by hbgit
3 tasks
@hbgit
Fix incorrect result in ReachSafety-ControlFlow bug
#22 opened Jan 17, 2020 by hbgit
15 tasks
@hbgit
Can symbolic execution tool KLEE run in parallel? enhancement
#18 opened Oct 11, 2019 by hbgit
@hbgit @rafaelsamenezes
LLVM Optimizations with KLEE enhancement
#16 opened Oct 2, 2019 by rafaelsamenezes
@hbgit @rafaelsamenezes
Program invariant generation enhancement
#15 opened Aug 14, 2019 by hbgit
@hbgit
Improving counterexample generation bug enhancement
#12 opened Apr 9, 2019 by hbgit
4 tasks
@hbgit @MarkusKaul
Caller Refactoring enhancement
#11 opened Mar 14, 2019 by hbgit
9 tasks
@hbgit @rafaelsamenezes
Adding robots to check require tests and other checks to improve the quality of the code enhancement question
#9 opened Mar 11, 2019 by hbgit
3 tasks
ProTip! Follow long discussions with comments:>50.