NAME=ablt
FILE=bins/mach0/mac-ls2
CMDS=<<EOF
e analysis.calls=false
af
echo $(ablq)
abil
ablt:fail/str/0x:addr/cols/size/jump/calls:fancy
abl~?
aflc
aa
abl~?
aflc
EOF
EXPECT=<<EOF
0x1000011e8 0x100001211 0x100001216 0x100001232 0x10000124d 0x100001252 0x10000125c 0x100001276 0x10000127e 0x100001284 0x100001290 0x1000012a8 0x1000012b6 0x1000012bf 0x1000012c6 0x1000012dc 0x1000012e3 0x1000012e7 0x100001301 0x10000130a 0x100001321 0x10000132a 0x100001347 0x100001353 0x100001370 0x100001392 0x100001396 0x1000013a2 0x1000013b1 0x1000013bd 0x1000013cc 0x1000013fb 0x10000140a 0x10000141a 0x10000143f 0x10000144b 0x100001466 0x100001473 0x10000147f 0x100001492 0x1000014a9 0x1000014b4 0x1000014ba 0x1000014d0 0x1000014df 0x1000014f0 0x1000014ff 0x100001519 0x100001525 0x10000153e 0x10000155b 0x10000156a 0x100001572 0x100001583 0x1000015a0 0x1000015ac 0x1000015c9 0x1000015e4 0x1000015f7 0x10000160d 0x10000162a 0x100001636 0x100001645 0x100001665 0x100001682 0x10000168b 0x1000016aa 0x1000016b8 0x1000016cd 0x1000016f1 0x100001768 0x10000177f 0x100001789 0x100001795 0x10000179a 0x1000017a6 0x1000017af 0x1000017b4 0x1000017fe 0x100001875 0x10000187e 0x10000188b 0x1000018c2 0x1000018cb 0x1000018d1 0x1000018dd 0x1000018e3 0x1000018ef 0x1000018f8 0x100001901 0x10000190a 0x100001913 0x10000191c 0x100001925 0x10000192e 0x100001937 0x100001940 0x100001949 0x100001952 0x10000195b 0x100001964 0x10000196d 0x100001976 0x10000197f 0x100001988 0x10000198f 0x1000019a2 0x1000019ab 0x1000019b4 0x1000019bd 0x1000019c6 0x1000019cf 0x1000019d6 0x1000019e2 0x1000019f0 0x1000019f7
jump: 0x100001216
fail: 0x100001211
opaddr: 0x1000011e8
addr: 0x1000011e8
size: 41
inputs: 0
outputs: 2
ninstr: 14
traced: false
.-------------------------------------------------------------.
|        addr | size | jump        | calls                    |
)-------------------------------------------------------------(
| 0x1000011e8 |   41 | 0x100001216 |                          |
| 0x100001216 |   28 | 0x100001290 |  0x100004510 0x10000456a |
| 0x100001232 |   27 | 0x10000125c |  0x1000044e0             |
| 0x10000124d |    5 | 0x10000125c |                          |
| 0x10000125c |   26 | 0x100001284 |  0x10000450a             |
| 0x100001276 |    8 | 0x100001284 |                          |
| 0x100001290 |   24 | 0x1000012b6 |  0x1000044e0             |
| 0x1000012b6 |    9 | 0x1000012c6 |  0x1000044f2             |
| 0x1000012e7 |   26 | 0x100001682 |  0x1000044e6             |
| 0x100001370 |   34 | 0x1000012e7 |  0x10000448c             |
| 0x10000141a |   37 | 0x1000012e7 |  0x10000448c             |
| 0x10000144b |   27 | 0x1000012e7 |  0x10000448c             |
| 0x100001492 |   23 | 0x1000014d0 |  0x10000448c             |
| 0x1000015c9 |   27 | 0x1000012e3 |  0x10000448c             |
| 0x100001682 |    9 | 0x1000012dc |                          |
| 0x10000168b |   31 | 0x1000017a6 |  0x1000044e0             |
| 0x1000016aa |   14 | 0x1000016cd |  0x100004510             |
| 0x1000016b8 |   21 | 0x1000017a6 |  0x1000044e0             |
| 0x1000016cd |   36 | 0x1000017a6 |  0x1000044e0 0x1000045a6 |
| 0x1000016f1 |  119 | 0x10000177f |  0x1000045ac             |
| 0x10000177f |   10 | 0x1000017a6 |                          |
| 0x100001789 |   12 | 0x1000017a6 |                          |
| 0x100001795 |    5 | 0x1000017a6 |                          |
| 0x1000017a6 |    9 | 0x1000017b4 |                          |
| 0x1000017fe |  119 | 0x1000018c2 |                          |
| 0x100001875 |    9 | 0x10000188b |                          |
| 0x1000018c2 |    9 | 0x1000018dd |                          |
| 0x1000018cb |    6 | 0x1000018ef |                          |
| 0x1000018dd |    6 | 0x10000191c |                          |
| 0x1000018ef |    9 | 0x100001949 |                          |
| 0x1000018f8 |    9 | 0x10000195b |                          |
| 0x100001901 |    9 | 0x10000196d |                          |
| 0x10000190a |    9 | 0x10000197f |                          |
| 0x10000191c |    9 | 0x100001952 |                          |
| 0x100001925 |    9 | 0x100001964 |                          |
| 0x10000192e |    9 | 0x100001976 |                          |
| 0x100001937 |    9 | 0x100001988 |                          |
| 0x10000198f |   19 | 0x1000019ab |                          |
| 0x1000019ab |    9 | 0x1000019c6 |                          |
| 0x1000019b4 |    9 | 0x1000019cf |                          |
| 0x1000019d6 |   12 | 0x1000019f0 |                          |
`-------------------------------------------------------------'
116
1
794
112
EOF
RUN

NAME=ablt xrefs
FILE=bins/mach0/mac-ls2
CMDS=<<EOF
aa
ablt:addr/cols/xrefs:xrefs/str/0x:fancy
EOF
EXPECT=<<EOF
.----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------.
|        addr | xrefs                                                                                                                                                                                                                                                                                                                                                                                                                                |
)----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------(
| 0x100000f08 |  0x100001952 0x100001e5a                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100000f1a |  0x100001949                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000f2f |  0x100001940                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000f64 |  0x100000f51                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000f74 |  0x100001913                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000fac |  0x100000f99                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000fc2 |  0x100001964                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100000ff7 |  0x100000fe4                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001007 |  0x10000195b                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000103f |  0x10000102c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001055 |  0x100001976                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000108a |  0x100001077                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000109a |  0x10000196d                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000010d2 |  0x1000010bf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000010e8 |  0x1000018e3                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000111a |  0x1000018d1                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001155 |  0x100001988                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000118a |  0x100001177                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000119a |  0x10000197f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000011d2 |  0x1000011bf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000127e |  0x10000125a                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000012b6 |  0x10000128e                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000012dc |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000012e7 |  0x1000012da 0x1000012e1 0x10000131f 0x100001328 0x100001345 0x100001351 0x10000136b 0x10000139d 0x1000013ac 0x1000013b8 0x1000013c7 0x1000013f6 0x100001405 0x100001415 0x10000147a 0x10000148d 0x1000014cb 0x1000014da 0x1000014fa 0x100001514 0x100001520 0x100001539 0x100001556 0x100001565 0x10000157e 0x10000159b 0x1000015a7 0x1000015c4 0x1000015f2 0x100001608 0x100001625 0x100001631 0x100001640 0x100001660 0x10000167d |
| 0x10000130a |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001321 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000132a |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001347 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001353 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001370 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001392 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001396 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000013a2 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000013b1 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000013bd |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000013cc |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000013fb |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000140a |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000141a |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000143f |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000144b |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001473 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000147f |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001492 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014a9 |  0x100001471                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014b4 |  0x100001471                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014ba |  0x100001449                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014d0 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014df |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014f0 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000014ff |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001519 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001525 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000153e |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000155b |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000156a |  0x1000014eb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001572 |  0x1000014eb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001583 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000015a0 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000015ac |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000015c9 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000015f7 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000160d |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000162a |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001636 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001645 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001665 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001682 |  0x100001308                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000017b4 |  0x1000017b2                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000017fe |  0x1000017b2                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000018c2 |  0x100001889                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000198f |  0x1000018d8 0x1000018ea 0x10000191a 0x100001947 0x100001950 0x100001959 0x100001962 0x10000196b 0x100001974 0x10000197d 0x100001986                                                                                                                                                                                                                                                                                                 |
| 0x1000019d6 |  0x1000019a9 0x1000019c4 0x1000019cd                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000019f0 |  0x1000019ee                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000019f7 |  0x1000019ee                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001b2c |  0x1000019f9                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001bf6 |  0x100001bf4                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001c22 |  0x100001bf4                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001c67 |  0x100001bf4                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001ca0 |  0x100001bf4                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001cf4 |  0x100001c9e                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001d71 |  0x100001bf4 0x100001c1d 0x100001cd0                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100001dc6 |  0x100001dbd                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001df0 |  0x100001b3f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001e5f |  0x100001b7e 0x100001d47                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100001f3e |  0x100001f3c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001f4a |  0x100001f3c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001f74 |  0x100001f72                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001f7f |  0x100001f72                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001f91 |  0x100001f8f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100001f94 |  0x100001f8f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002028 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002033 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000203e |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002049 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002053 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000205d |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002067 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002072 |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000207d |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000209b |  0x100002026                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000020c0 |  0x1000020be                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000020c2 |  0x1000020be                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000020eb |  0x1000020e9                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000020ed |  0x1000020e9                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002116 |  0x100002114                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002118 |  0x100002114                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002141 |  0x10000213f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002143 |  0x10000213f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000021b9 |  0x10000219c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000022d5 |  0x1000022cb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000022ef |  0x1000022cb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000239c |  0x10000239a                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000239e |  0x10000239a                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002434 |  0x100002432                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002438 |  0x100002432                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002590 |  0x100002580 0x10000258e                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002595 |  0x100002580 0x10000258e                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002611 |  0x1000022d0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000261c |  0x100002182                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002632 |  0x1000021b4 0x10000261a                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002665 |  0x1000021b4 0x10000261a                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002852 |  0x100002849                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002884 |  0x1000019a2 0x100003a0d                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002927 |  0x100002900                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002950 |  0x100002914 0x1000036d5 0x100003921                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x10000298c |  0x10000298a                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000298f |  0x10000298a                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000029ee |  0x1000029ec                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000029f1 |  0x1000029ec                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002a6d |  0x1000019c6                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002c10 |  0x100002bff                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002c14 |  0x100002bff                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002c1d |  0x100002bed                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002c30 |  0x100002bed                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002cc9 |  0x100002c99                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002cd0 |  0x100002c99                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002cd5 |  0x100002cc7 0x100002d1b                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100002d40 |  0x100002ce6 0x100002cf9 0x100002d0c                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100002d45 |  0x100002ce6 0x100002cf9 0x100002d0c                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100002e22 |  0x100002e20                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002e47 |  0x100002e20                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100002eb3 |  0x100002e81                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003029 |  0x100002fd2                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003105 |  0x100003024                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003110 |  0x100003024                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000032f4 |  0x100002d16 0x100002f28                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003358 |  0x100002d45                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003434 |  0x1000033d2 0x100003432                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003444 |  0x1000033d2 0x100003432                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003498 |  0x1000029e1 0x100002d5c                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000034c2 |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000034c9 |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000034d0 |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000034e9 |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000034f3 |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000034fa |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000350b |  0x1000034c0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003536 |  0x1000034c7 0x1000034ce 0x1000034e7 0x1000034f1 0x1000034f8 0x100003510 0x10000351d 0x100003528 0x10000352f                                                                                                                                                                                                                                                                                                                         |
| 0x100003540 |  0x100003509 0x100003521                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x10000357c |  0x1000029f8 0x100002d6e 0x100002e7c 0x100002f10                                                                                                                                                                                                                                                                                                                                                                                     |
| 0x1000035b2 |  0x100002a55 0x100002dd0                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000035d4 |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000035d9 |  0x10000360a 0x100003617 0x10000361e 0x100003625 0x10000362c                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000035e3 |  0x100003630                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003605 |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000360c |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003619 |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003620 |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003627 |  0x100003603                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003660 |  0x1000019cf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000036e7 |  0x100003693                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000036ff |  0x100003693                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000370e |  0x10000370c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003711 |  0x10000370c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000373d |  0x1000019bd                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000037ae |  0x100003783                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000037b4 |  0x100003783                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000037f7 |  0x1000037f5                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000037fe |  0x1000037f5                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003964 |  0x1000039a6                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000039cc |  0x1000039c2                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003af0 |  0x100003ae6                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003b92 |  0x100003b48 0x100003b65                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003b9a |  0x100003b35                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003b9d |  0x100003b35                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003bcd |  0x1000017be                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003c37 |  0x100003beb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003c5d |  0x100002a15 0x100002d98 0x100003be4 0x100003c90 0x100003cc0 0x100003cf4                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003c6a |  0x100003504 0x100003536                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003d11 |  0x100003e0a 0x100003e4f                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003de1 |  0x100003ddf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003deb |  0x100003ddf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003e77 |  0x100003e6e                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003ea0 |  0x100003fea                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003ef9 |  0x100003fea                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003f12 |  0x100003f00 0x100003f9e                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100003fa3 |  0x100003f60                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100003fad |  0x100003f60                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004026 |  0x1000021e0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000407c |  0x100004101                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000408c |  0x100004101                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000040de |  0x1000040dc                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000040e8 |  0x1000040dc                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004153 |  0x100004142 0x100004147                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x10000417d |  0x100003595                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004283 |  0x1000041ee                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000042c1 |  0x1000042a8                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000042cb |  0x1000042a8                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004338 |  0x1000042bf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000439e |  0x10000427e 0x100004336 0x10000433d                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000043af |  0x10000427e 0x100004336 0x10000433d                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000043c5 |  0x10000424a 0x1000043c3                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000043c8 |  0x10000424a 0x1000043c3                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000043f2 |  0x100001211 0x1000012dc                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100004420 |  0x10000294b 0x100003a2c 0x100003a4b                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004426 |  0x1000037bb                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000442c |  0x100001d85 0x100001d95 0x100001d9d 0x100002e90                                                                                                                                                                                                                                                                                                                                                                                     |
| 0x100004432 |  0x100003de6 0x100003fa8 0x1000040e3 0x1000042c6                                                                                                                                                                                                                                                                                                                                                                                     |
| 0x100004438 |  0x1000022a2 0x1000022c3 0x100002429 0x1000026e1 0x10000273a 0x10000276f 0x10000279d 0x100002e47 0x100003013                                                                                                                                                                                                                                                                                                                         |
| 0x10000443e |  0x10000283d 0x1000032dc 0x100003493 0x100003e9b 0x100004021 0x100004178 0x1000043ed                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004444 |  0x100003b6f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000444a |  0x10000254f 0x1000025a2 0x1000027eb 0x100003113                                                                                                                                                                                                                                                                                                                                                                                     |
| 0x100004450 |  0x100002541 0x100002fa8 0x100003292                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004456 |  0x10000314d 0x100003212                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x10000445c |  0x100003052                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004462 |  0x100002527                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004468 |  0x1000031a1                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000446e |  0x10000306d                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004474 |  0x100003081                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000447a |  0x100003037                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004480 |  0x100001255 0x1000012ab                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100004486 |  0x1000023b2                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000448c |  0x100001385 0x1000013e2 0x100001432 0x100001459 0x1000014a0 0x1000015d7 0x100001c3c 0x100001cc3 0x100001d10 0x1000028a5 0x1000033e2                                                                                                                                                                                                                                                                                                 |
| 0x100004492 |  0x100001dcd 0x100002859 0x1000032ef                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004498 |  0x100001a05 0x10000441b                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x10000449e |  0x100002343                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044a4 |  0x100002eae 0x100003b8d                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000044aa |  0x100003475                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044b0 |  0x10000235c 0x100002601 0x1000027f4 0x1000027fd 0x100002805 0x10000301f 0x10000318b                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000044b6 |  0x100001b74 0x100001cfa                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000044bc |  0x100001d90                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044c2 |  0x100001b5b                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044c8 |  0x100001bbc 0x100001d74                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000044ce |  0x100001d6c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044d4 |  0x100003b30 0x100004411                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000044da |  0x100001896                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044e0 |  0x100001243 0x10000129e 0x10000169c 0x1000016bf 0x1000016d4 0x1000017e6 0x100001eaf                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000044e6 |  0x1000012f0                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044ec |  0x100003c24                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044f2 |  0x1000012b6                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044f8 |  0x1000024e3                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000044fe |  0x1000022e7                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004504 |  0x100003328                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000450a |  0x10000126c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004510 |  0x100001229 0x1000016af                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x10000451c |  0x10000244b 0x1000024a4                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x100004522 |  0x10000344c                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004528 |  0x100001f14 0x100002485 0x1000030a6                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x10000452e |  0x1000030f8                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004534 |  0x100003d82 0x100003f20 0x10000409c 0x1000041da 0x10000423d                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000453a |  0x10000430e                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004540 |  0x100003386                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004546 |  0x100001c99 0x100001ce8 0x1000028f8 0x100002982 0x1000029c6 0x100002ad7 0x100002b30 0x100002b6d 0x100002be8 0x100002c2b 0x100002c5b 0x100002cc2 0x100002cd0 0x100002e74 0x10000317f 0x1000031de 0x10000324f 0x100003339 0x1000036f4 0x1000038bd 0x100003e60                                                                                                                                                                         |
| 0x10000454c |  0x10000291e 0x100002ebf 0x100002f08 0x100002f1a 0x100002f32 0x10000326d 0x1000035d9 0x1000036c2 0x100003983 0x1000039d1 0x100003c61 0x100003db3 0x100003e3e 0x100003f07 0x100003f67 0x100003fc5 0x100003ff4 0x100004260 0x100004323 0x10000432d 0x100004367 0x100004374 0x100004384 0x100004391                                                                                                                                     |
| 0x100004552 |  0x100002e57                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004558 |  0x100003799                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000455e |  0x1000024c3                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004564 |  0x1000015bf                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000456a |  0x10000121f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004570 |  0x1000017cd 0x1000017da 0x100003c1f                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004576 |  0x100001ffa                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x100004582 |  0x1000023d8 0x1000023e9 0x1000025f9                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004588 |  0x100002368                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000458e |  0x100001bfe 0x10000263a 0x100002e97                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x100004594 |  0x100003463                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x10000459a |  0x100001f0a 0x1000022f9 0x100002316 0x10000237c 0x100002501 0x1000026e9 0x100002742 0x100002777 0x1000027a5 0x100002f3a 0x10000369a 0x100003a76 0x1000042b7                                                                                                                                                                                                                                                                         |
| 0x1000045a0 |  0x100002b7f                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045a6 |  0x1000016e3                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045ac |  0x1000016ff 0x100001715 0x10000172b 0x100001741 0x100001757 0x100001773                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000045b2 |  0x100003cb6 0x100003cea                                                                                                                                                                                                                                                                                                                                                                                                             |
| 0x1000045b8 |  0x1000033a5                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045be |  0x100002a24 0x100002a3b 0x100002da2 0x100002db9 0x100003bfe 0x100003c15 0x100003c9c 0x100003ccf                                                                                                                                                                                                                                                                                                                                     |
| 0x1000045c4 |  0x1000022da                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045ca |  0x10000310b                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045d0 |  0x1000039f7                                                                                                                                                                                                                                                                                                                                                                                                                         |
| 0x1000045d6 |  0x100001c11 0x100001cb0 0x100002651                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000045dc |  0x100003dfc 0x100003fdb 0x100004276                                                                                                                                                                                                                                                                                                                                                                                                 |
| 0x1000045e2 |  0x100003c50                                                                                                                                                                                                                                                                                                                                                                                                                         |
`----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------'
EOF
RUN


NAME=abl
FILE=bins/inquiry/interpreter/prototype/x86_icall_malloc
CMDS=<<EOF
aaa
ablt
ablj
abl
EOF
EXPECT=<<EOF
     addr size traced ninstr jump       fail       fcns        calls       xrefs                             
-------------------------------------------------------------------------------------------------------------
0x8000040   29      1      6 0x0800005d             0x08000040              0x0800008b
0x800005d    6      1      2 0x0800008d 0x08000063  0x08000040              0x0800008b
0x8000063   42      1     13 0x0800005d             0x08000040  0x080000e0 
0x800008d    9      1      4                        0x08000040             
0x80000a0   11      1      5                        0x080000a0  0x080000b0 
0x80000b0   16      1      5                        0x080000b0              0x080000a4 0x080000c4 0x080000d4
0x80000c0   11      1      5                        0x080000c0  0x080000b0 
0x80000d0   11      1      5                        0x080000d0  0x080000b0 
[{"addr":134217792,"traced":true,"ninstr":6,"size":29,"jump":134217821,"xrefs":[134217867],"calls":[],"fcns":[134217792]},{"addr":134217821,"traced":true,"ninstr":2,"size":6,"jump":134217869,"fail":134217827,"xrefs":[134217867],"calls":[],"fcns":[134217792]},{"addr":134217827,"traced":true,"ninstr":13,"size":42,"jump":134217821,"xrefs":[],"calls":[134217952],"fcns":[134217792]},{"addr":134217869,"traced":true,"ninstr":4,"size":9,"xrefs":[],"calls":[],"fcns":[134217792]},{"addr":134217888,"traced":true,"ninstr":5,"size":11,"xrefs":[],"calls":[134217904],"fcns":[134217888]},{"addr":134217904,"traced":true,"ninstr":5,"size":16,"xrefs":[134217892,134217924,134217940],"calls":[],"fcns":[134217904]},{"addr":134217920,"traced":true,"ninstr":5,"size":11,"xrefs":[],"calls":[134217904],"fcns":[134217920]},{"addr":134217936,"traced":true,"ninstr":5,"size":11,"xrefs":[],"calls":[134217904],"fcns":[134217936]}]
0x08000040 .j 0x0800005d 0x0800008b .c .u 0x8000040 .s 29
0x0800005d .j 0x0800008d .f 0x08000063 0x0800008b .c .u 0x8000040 .s 6
0x08000063 .j 0x0800005d .c 0x080000e0 .u 0x8000040 .s 42
0x0800008d .c .u 0x8000040 .s 9
0x080000a0 .c 0x080000b0 .u 0x80000a0 .s 11
0x080000b0 0x080000a4 0x080000c4 0x080000d4 .c .u 0x80000b0 .s 16
0x080000c0 .c 0x080000b0 .u 0x80000c0 .s 11
0x080000d0 .c 0x080000b0 .u 0x80000d0 .s 11
EOF
RUN
