Skip to content

Issues: bblum/landslide-simics

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

119 Open 109 Closed
119 Open 109 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

quicksand detect whether in a VM environment to decide default max_cpus option A-glue A-iterativedeepening B-cleanup B-enhancement E-annoying E-easy
#228 opened Feb 28, 2018 by bblum
2
p2 setup falis if mutex_trylock is called mutex_try_lock A-glue B-bug B-cleanup E-easy
#227 opened Oct 10, 2017 by bblum
Annotation that lets user landslide_printf() a message to be saved in a bug report. B-enhancement E-easy
#226 opened Feb 23, 2017 by bblum
ambitious p3 landsliders get "couldn't find ret-of-function hlt" A-glue E-easy P-no-one-will-ever-know
#224 opened Nov 17, 2016 by bblum
Things to do for S'17 landslide. E-easy P-STOPSHIP
#223 opened Oct 7, 2016 by bblum
New annotations A-annotations B-enhancement E-annoying E-easy P-important
#220 opened Jun 10, 2016 by bblum
cleanup move rbtree copy/free glue to own files A-memory B-cleanup E-easy
#219 opened Jun 9, 2016 by bblum
estimate assertion trips with PREEMPT_EVERYWHERE + ICB mode A-preempting A-statespace B-bug P-no-one-will-ever-know
#218 opened May 4, 2016 by bblum
1
Prioritize the currently maximal state space for faster verification. A-iterativedeepening B-enhancement E-hard Q-research
#216 opened Mar 23, 2016 by bblum
Crash in a more friendly way when I forget "-P" after pintos-setup.sh A-glue A-pintos B-enhancement E-annoying E-easy
#215 opened Mar 19, 2016 by bblum
Try to deobfuscate which system call is being made in the first place. A-foundabug A-stacktrace B-enhancement
#214 opened Mar 14, 2016 by bblum
capture printf() and lprintf() output and report it in the preemption trace A-foundabug A-glue B-enhancement E-easy
#212 opened Feb 19, 2016 by bblum
don't store snapshots in /dev/shm/ after they fail to copy... bring them into current dir instead A-glue B-misfeature E-easy
#211 opened Feb 19, 2016 by bblum
Simics 4.6 A-glue B-enhancement E-annoying E-easy P-no-one-will-ever-know
#210 opened Feb 8, 2016 by bblum
thr_create not considered interesting enough? A-preempting B-bug E-easy P-no-one-will-ever-know
#208 opened Oct 28, 2015 by bblum
malloc failure injection A-memory A-preempting A-statespace B-enhancement E-hard Q-project-for-someone-else Q-research
#207 opened Oct 14, 2015 by bblum
after FAB, search "neighbouring" interleavings to minimize the trace. A-foundabug A-statespace B-enhancement Q-project-for-someone-else Q-research
#206 opened Oct 14, 2015 by bblum
cant swap logic should use count of actual RAM, not disk cache RAM A-iterativedeepening B-misfeature P-no-one-will-ever-know
#204 opened Oct 9, 2015 by bblum
"NOTE: ...alarming loop..." warning wrongly issued for while-yield loop if yield() doesn't actually yield A-foundabug A-scheduling A-userspace B-misfeature E-annoying
#203 opened Oct 9, 2015 by bblum
check_unblock() too liberal; infinite subtrees possible with 2 xchg-blocked threads waking each other A-memory A-statespace B-bug E-hard P-no-one-will-ever-know
#202 opened Oct 7, 2015 by bblum
1
corner case delay_instruction() during asm_thread_fork wrappers can clobber other thread's stack A-preempting A-userspace B-bug P-no-one-will-ever-know
#201 opened Oct 3, 2015 by bblum
3
stack trace when user thread pagefaults is useless A-stacktrace B-misfeature E-annoying P-important
#199 opened Oct 1, 2015 by bblum
1
Make UAF FAB sites use FAB_HTML_INFO to print heap contents in html trace A-foundabug A-memory B-enhancement E-easy P-no-one-will-ever-know
#198 opened Oct 1, 2015 by bblum
Print current PP config in FAB html files. A-foundabug A-glue A-iterativedeepening B-enhancement E-easy
#196 opened Sep 27, 2015 by bblum
make sure ID will eventually explore the maximal state space A-iterativedeepening B-enhancement E-easy
#195 opened Sep 24, 2015 by bblum
ProTip! Type g i on any issue or pull request to go back to the issue listing page.