b *0x400496
r salut
s
x/x 0x400460
s
quit
b *0x400743
r
s
c
quit
b *0x400743
r
b *0x400736
r
s
quit
b *0x400698
r
quit
b *0x4006aa
r
quit
disass main
b *0x0x00000000004006a8
r
b *0x00000000004006a8
r
s
s
quit
b *0x00000000004006a8
r
s
ls -l
quit
r -t ./obj-intel64/ConcolicExecution.so -taint-file serial.txt -- ./crackme1
quit
r
quit
