issues
search
bblum
/
landslide-simics
the landslide codebase (old simics version)
11
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
quicksand detect whether in a VM environment to decide default max_cpus option
#228
bblum
opened
6 years ago
2
p2 setup falis if mutex_trylock is called mutex_try_lock
#227
bblum
opened
6 years ago
0
Annotation that lets user landslide_printf() a message to be saved in a bug report.
#226
bblum
opened
7 years ago
0
Include deschedule/make_runnable in pure-HB vector clock analysis
#225
bblum
closed
7 years ago
1
ambitious p3 landsliders get "couldn't find ret-of-function hlt"
#224
bblum
opened
7 years ago
0
Things to do for S'17 landslide.
#223
bblum
opened
7 years ago
0
missing lockset_add call in user_mx_trylock_done under TESTING_MUTEXES
#222
bblum
closed
8 years ago
0
memory leak? save.c agent free glue missing case to free pre_vanish_trace
#221
bblum
closed
8 years ago
0
New annotations
#220
bblum
opened
8 years ago
0
cleanup move rbtree copy/free glue to own files
#219
bblum
opened
8 years ago
0
estimate assertion trips with PREEMPT_EVERYWHERE + ICB mode
#218
bblum
opened
8 years ago
1
Soundness: Need PP right after 'int THR_FORK_INT' returns
#217
bblum
closed
8 years ago
0
Prioritize the currently maximal state space for faster verification.
#216
bblum
opened
8 years ago
0
Crash in a more friendly way when I forget "-P" after pintos-setup.sh
#215
bblum
opened
8 years ago
0
Try to deobfuscate which system call is being made in the first place.
#214
bblum
opened
8 years ago
0
Make lanslide wrapper script recognize when p2 code was changed but p2-setup.sh not re-run.
#213
bblum
closed
8 years ago
0
capture printf() and lprintf() output and report it in the preemption trace
#212
bblum
opened
8 years ago
0
don't store snapshots in /dev/shm/ after they fail to copy... bring them into current dir instead
#211
bblum
opened
8 years ago
0
Simics 4.6
#210
bblum
opened
8 years ago
0
anti synergy between ICB_BLOCKED and "broken yield"-fixing logic
#209
bblum
closed
8 years ago
2
thr_create not considered interesting enough?
#208
bblum
opened
8 years ago
0
malloc failure injection
#207
bblum
opened
8 years ago
0
after FAB, search "neighbouring" interleavings to minimize the trace.
#206
bblum
opened
8 years ago
0
landslide-id: wait returned before child exit assertion
#205
bblum
closed
8 years ago
3
cant swap logic should use count of actual RAM, not disk cache RAM
#204
bblum
opened
8 years ago
0
"NOTE: ...alarming loop..." warning wrongly issued for while-yield loop if yield() doesn't actually yield
#203
bblum
opened
8 years ago
0
check_unblock() too liberal; infinite subtrees possible with 2 xchg-blocked threads waking each other
#202
bblum
opened
9 years ago
1
corner case delay_instruction() during asm_thread_fork wrappers can clobber other thread's stack
#201
bblum
opened
9 years ago
3
Ok, I'm fed up with this "recompiling landslide every time" crap. Fix dis.
#200
bblum
closed
8 years ago
1
stack trace when user thread pagefaults is useless
#199
bblum
opened
9 years ago
1
Make UAF FAB sites use FAB_HTML_INFO to print heap contents in html trace
#198
bblum
opened
9 years ago
0
let landslide change its PPs without having to recompile
#197
bblum
closed
8 years ago
0
Print current PP config in FAB html files.
#196
bblum
opened
9 years ago
0
make sure ID will eventually explore the maximal state space
#195
bblum
opened
9 years ago
0
pathos_syscall_iret logic in stack frame can crash when ebps are bogus values (eg 0x41414141)
#194
bblum
opened
9 years ago
0
Proving soundness of discarding freed-re-malloced DR reports as false-positives?
#193
bblum
opened
9 years ago
3
trap ctrl C in landslide script while taking snapshot
#192
bblum
opened
9 years ago
0
Update work/config.mk, work/bin/mini-python, etc for 410/simics{,-4.0.60} path change.
#191
bblum
closed
9 years ago
0
There's still a race that makes the ID wrapper hang waiting for landslide jobs after TIME_UP.
#190
bblum
closed
9 years ago
4
make different progress report text/color for CANCELLED vs CRASHED
#189
bblum
opened
9 years ago
0
On unix4, crash/hang with racing/truncated reads on bootfd.img
#188
bblum
opened
9 years ago
0
Implement maximal causality reduction, or some approximations
#187
bblum
opened
9 years ago
0
Implement ICB and BPOR to evaluate iterative deepening by comparison
#186
bblum
closed
8 years ago
0
Dont' start a new state space if it's a superset of a deferred job.
#185
bblum
closed
9 years ago
0
Audit codebase for any READ_MEMORY logic that's executed every instruction.
#184
bblum
closed
9 years ago
0
When IRET frame is a page fault, stack trace misses the eip.
#183
bblum
closed
9 years ago
0
split memory.c into separate files for malloc logic and shm logic
#182
bblum
opened
9 years ago
0
Fix "if (ls->test.start_kern_heap_size > ls->kern_mem.heap_size)"
#181
bblum
opened
9 years ago
1
pintos FAB logic during kernel panic finds wrong panic string
#180
bblum
closed
9 years ago
1
Tell id wrapper when one half of a data race has interrupts off, to avoid that new (identical) state space
#179
bblum
closed
8 years ago
1
Next