Links to Examples Used in Evaluating McDash

Synergy Examples [original source]

Test Source Code IA-32 (x86) PowerPC
Binary Assembly Start Target Binary Assembly Start Target
badBuggy badBuggy.c badBuggy.obj badBuggy.list.txt 0x10 0x6e badBuggy.ppc_o badBuggy.ppc_list 0x1c 0xa8
barber barber.c barber.obj barber.list.txt 0x20 0x2b4 barber.ppc_o barber.ppc_list 0x40 0x3f4
berkeley berkeley.c berkeley.obj berkeley.list.txt 0x20 0x11b berkeley.ppc_o berkeley.ppc_list 0x20 0x11b
berkeley-nat berkeley-nat.c berkeley-nat.obj berkeley-nat.list.txt 0x20 0x124 berkeley-nat.ppc_o berkeley-nat.ppc_list 0x?? 0x??
cars.c cars.c cars.obj cars.list.txt 0x20 0x175 cars.ppc_o cars.ppc_list 0x40 0x1ec
efm.c efm.c efm.obj efm.list.txt 0x20 0x1be efm.ppc_o efm.ppc_list 0x40 0x290
fig6.c fig6.c fig6.obj fig6.list.txt 0x10 0x34 fig6.ppc_o fig6.ppc_list 0x1c 0x60
fig7.c fig7.c fig7.obj fig7.list.txt 0x10 0x2e fig7.ppc_o fig7.ppc_list 0x1c 0x5c
fig8.c fig8.c fig8.obj fig8.list.txt 0x20 0xc4 fig8.ppc_o fig8.ppc_list 0x40 0x144
fig9.c fig9.c fig9.obj fig9.list.txt 0x10 0x44 fig9.ppc_o fig9.ppc_list 0x1c 0x68
prog1 prog1.c prog1.obj prog1.list.txt 0x10 0x37 prog1.ppc_o prog1.ppc_list 0x?? 0x??
prog2.c prog2.c prog2.obj prog2.list.txt 0x10 0x53 prog2.ppc_o prog2.ppc_list 0x1c 0x80
prog3.c prog3.c prog3.obj prog3.list.txt 0x10 0x3b prog3.ppc_o prog3.ppc_list 0x1c 0x68
prog4.c prog4.c prog4.obj prog4.list.txt 0x10 0x8b prog4.ppc_o prog4.ppc_list 0x1c 0xa4
prog5.c prog5.c prog5.obj prog5.list.txt 0x10 0x46 prog5.ppc_o prog5.ppc_list 0x1c 0x74
test1.c test1.c test1.obj test1.list.txt 0x10 0x4e test1.ppc_o test1.ppc_list 0x1c 0x84
test2.c test2.c test2.obj test2.list.txt 0x10 0x6c test2.ppc_o test2.ppc_list 0x1c 0xb4

Various challenging examples

Test Source Code Binary Assembly Start Target
instruction-aliasing (reachable) alias-g==7.c alias-g==7.obj alias-g==7.list.txt 0x30 0x65
instruction-aliasing (unreachable) alias-g==3.c alias-g==3.obj alias-g==3.list.txt 0x30 0x65
self-modifying code smc.c smc.obj smc.list.txt 0x14 0x41
memset vulnerability memset.c memset.obj memset.list.txt 0x10 0xa9
underrun underrun.c underrun.obj underrun.list.txt 0x10 0x6e

Device-driver examples

Test Source Code Binary Assembly Start Target
floppy-CancelSpinLock Source Object Listing 0xED0 0x108F
floppy-MarkingInterlockedQueuedIrps Source Object Listing 0xE60 0x104A
floppy-SpinLock.long Source Object Listing 0x1000 0x11aa