hbgit / Map2Check

Watch 6
Star 13
Fork 6

Code
Issues 23
Pull requests 2
Actions
Projects 1
Wiki
Security
Insights

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

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.

Pick a username

Email Address

Password

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

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

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

Most reactions

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

Support to check floating-point arithmetic enhancement help wanted

#42 opened Jul 21, 2020 by hbgit

Add support to verify concurrent programs enhancement

#41 opened Jul 3, 2020 by hbgit

Add new subcategories from SV-COMP enhancement

#40 opened Jul 3, 2020 by hbgit 0 of 9

Add support to Termination Analysis enhancement help wanted

#38 opened May 31, 2020 by hbgit

Crucible support as a Symbolic Engine enhancement good-first-issue

#37 opened May 29, 2020 by rafaelsamenezes

KLEE crash incorrect results bug

#36 opened May 27, 2020 by hbgit

CRABLLVM generates UNKNOWN result bug

#34 opened May 26, 2020 by hbgit

Adopt a code slicer enhancement

#31 opened Apr 30, 2020 by hbgit

Add Coverage report enhancement

#29 opened Jan 24, 2020 by hbgit

Fix incorrect results in NoOverflows-Other bug

#27 opened Jan 17, 2020 by hbgit 0 of 3

Fix incorrect results in NoOverflows-BitVectors bug

#26 opened Jan 17, 2020 by hbgit 0 of 3

Fix incorrect results in MemSafety-MemCleanup bug

#25 opened Jan 17, 2020 by hbgit 0 of 1

Fix incorrect results in MemSafety-Other bug

#24 opened Jan 17, 2020 by hbgit 0 of 6

Fix incorrect results in ReachSafety-Heap bug

#23 opened Jan 17, 2020 by hbgit 0 of 3

Fix incorrect result in ReachSafety-ControlFlow bug

#22 opened Jan 17, 2020 by hbgit 0 of 15

Can symbolic execution tool KLEE run in parallel? enhancement

#18 opened Oct 11, 2019 by hbgit

LLVM Optimizations with KLEE enhancement

#16 opened Oct 2, 2019 by rafaelsamenezes

Program invariant generation enhancement

#15 opened Aug 14, 2019 by hbgit

Improving counterexample generation bug enhancement

#12 opened Apr 9, 2019 by hbgit 0 of 4

Caller Refactoring enhancement

#11 opened Mar 14, 2019 by hbgit 0 of 9

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 0 of 3

ProTip! Updated in the last three days: updated:>2020-12-30.