4 .*: +file format elf64-x86-64.*
6 Disassembly of section .text:
10 +[a-f0-9]+: 48 83 ec 08 sub \$0x8,%rsp
11 +[a-f0-9]+: 67 e8 ([0-9a-f]{2} ){4}[ ]+addr32 callq [0-9a-f]+ <get_func>
12 +[a-f0-9]+: 48 81 f8 ([0-9a-f]{2} ){4}[ ]+cmp \$0x[0-9a-f]+,%rax
13 +[a-f0-9]+: 75 2b jne [0-9a-f]+ <check\+0x[0-9a-f]+>
14 +[a-f0-9]+: 67 e8 ([0-9a-f]{2} ){4}[ ]+addr32 callq [0-9a-f]+ <func>
15 +[a-f0-9]+: 3d 78 56 34 12 cmp \$0x12345678,%eax
16 +[a-f0-9]+: 75 1e jne [0-9a-f]+ <check\+0x[0-9a-f]+>
17 +[a-f0-9]+: 67 e8 ([0-9a-f]{2} ){4}[ ]+addr32 callq [0-9a-f]+ <call_func>
18 +[a-f0-9]+: 3d 78 56 34 12 cmp \$0x12345678,%eax
19 +[a-f0-9]+: 75 11 jne [0-9a-f]+ <check\+0x[0-9a-f]+>
20 +[a-f0-9]+: 48 8d 3d ([0-9a-f]{2} ){4}[ ]+lea 0x[a-f0-9]+\(%rip\),%rdi +# [a-f0-9]+.*
21 +[a-f0-9]+: 48 83 c4 08 add \$0x8,%rsp
22 +[a-f0-9]+: e9 ([0-9a-f]{2} ){4}[ ]+jmpq [a-f0-9]+ <.*puts.*>
24 +[a-f0-9]+: 67 e8 ([0-9a-f]{2} ){4}[ ]+addr32 callq [0-9a-f]+ <abort>
27 +[a-f0-9]+: 48 c7 c0 ([0-9a-f]{2} ){4}[ ]+mov \$0x[0-9a-f]+,%rax
30 [0-9a-f]+ <call_func>:
31 +[a-f0-9]+: e9 ([0-9a-f]{2} ){4}[ ]+jmpq [a-f0-9]+ <func>