Skip to content

Issues: jordr/chopper

Benchmark against Legacy Chopper
#20 opened Dec 19, 2019 by jordr
Open 4
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

17 Open 32 Closed
17 Open 32 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

Make check gives different results on thinkpad and tamworth/callisto bug Something isn't working
#51 opened Apr 30, 2020 by jordr
1
Make it so we don't repeat --keep arguments task
#50 opened Apr 24, 2020 by jordr
Do not start timers when chopper is in legacy mode bug Something isn't working
#49 opened Apr 9, 2020 by jordr
CVE-2014-3467: silently concretizing expression (reason: resolveOne failure) benchmark bug Something isn't working
#45 opened Mar 20, 2020 by jordr
1
CVE-2012-1569 strlen: unable to resolve blocking load to any address benchmark bug Something isn't working
#44 opened Mar 20, 2020 by jordr
2
Chopper builds wrong ModSetMap when dealing with field-sensitive nodes bug Something isn't working upstream
#42 opened Mar 18, 2020 by jordr
4
Do not restart, instead, backtrack and resume analysis from the poorly skipped function call enhancement New feature or request
#41 opened Mar 18, 2020 by jordr
1
Building CVE-2012-1569 gives an undefined function warning on tamworth benchmark bug Something isn't working
#40 opened Mar 12, 2020 by jordr
1
onRecoveryStateExit called twice for a single recovery state bug Something isn't working
#38 opened Mar 12, 2020 by jordr
2
Display recovery cost stats per function, optionally enhancement New feature or request
#35 opened Mar 10, 2020 by jordr
Option to color-highlight a callgraph DOT file enhancement New feature or request
#32 opened Feb 27, 2020 by jordr
1
Make default output less verbose, encapsulate in debug-only task
#30 opened Jan 28, 2020 by jordr
Do not skip klee_*** internal functions enhancement New feature or request
#25 opened Jan 13, 2020 by jordr
1
InterleavedSearcher: choose() called on empty tree during recovery bug Something isn't working upstream
#23 opened Jan 8, 2020 by jordr
2
Pull request skip-functions-not upstream
#22 opened Dec 19, 2019 by jordr
Benchmark against Legacy Chopper benchmark
#20 opened Dec 19, 2019 by jordr
4
Special functions, DNR functions enhancement New feature or request
#14 opened Dec 12, 2019 by jordr
2
ProTip! Find all open issues with in progress development work with linked:pr.