Skip to content

Issues: StanfordPL/stoke

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

61 Open 938 Closed
61 Open 938 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

testcase generation failed with "read from an undefined location" error when "bsr" instruction is involved
#1018 opened Dec 5, 2022 by ydroneaud
1
Is there a way to leave some parts of input invariant to Stoke transformations?
#1017 opened Oct 30, 2022 by ishcha
How many instructions are supported?
#1015 opened Oct 5, 2020 by Xenate
Some question about stoke search a result
#1013 opened Aug 19, 2020 by Angerla
"WARNING: Could not resize memory" leads to FATAL ERROR in stoke testcase
#1010 opened Nov 20, 2019 by zawtom725
Incorrect rewrite of a simple program
#1008 opened Nov 4, 2019 by anuragsiy7504
7
vfnmadd132pd semantics incorrect
#1004 opened May 2, 2019 by bchurchill
Test framework relies on ancient libjsoncpp
#1001 opened Apr 9, 2019 by ianamason
1
Failures on haskell code
#995 opened Feb 17, 2019 by jberryman
3
stoke bounded validator sometimes performs 0 SMT queries without telling the user enhancement
#976 opened Oct 3, 2017 by stefanheule
@bchurchill
3
source of Z3 spurious memory counterexamples bug low
#975 opened Sep 3, 2017 by bchurchill
idiv
#965 opened Jun 15, 2017 by bchurchill
Error passing multiple arguments to stoke testcase
#955 opened Apr 23, 2017 by jamesalbert
--measured cost function should only insert callback once per basic block, not once per instruction enhancement low
#953 opened Apr 19, 2017 by stefanheule
@bchurchill
Remove --nesting_penality
#952 opened Apr 18, 2017 by stefanheule
More instruction support with Remill wishlist
#950 opened Apr 1, 2017 by pgoodman
2
stoke testcase labels all Testcases "Testcase 0" enhancement low
#944 opened Nov 11, 2016 by travisdowns
7
Instruction tzcntq unsupported by the bounded, ddec validators
#943 opened Nov 11, 2016 by travisdowns
6
Only allow whitelisted cpu flags by default bug
#940 opened Nov 9, 2016 by bchurchill
@bchurchill
2
stoke extract doesn't handle labels between functions bug
#938 opened Oct 26, 2016 by bchurchill
1
stoke extract only handles one .text section
#928 opened Sep 6, 2016 by bchurchill
counterexample not added after failed verification with --results bug low
#920 opened Jul 6, 2016 by bchurchill
1
postprocessing should happen before verification bug low
#919 opened Jul 6, 2016 by bchurchill
5
Stoke can't handle inlined memset enhancement low
#912 opened Jun 1, 2016 by jrkoenig
1
Don't undo -- just swap with previous enhancement
#910 opened May 26, 2016 by bchurchill
@jrkoenig
1
ProTip! Adding no:label will show everything without a label.