1 #as: -J 2 #objdump: -dwr 3 #name: x86-64 MPX branch 4 5 .*: +file format .* 6 7 8 Disassembly of section .text: 9 10 0+ <foo1-0xc>: 11 [ ]*[a-f0-9]+: f2 e8 00 00 00 00 bnd callq 6 <foo1-0x6> 2: R_X86_64_PC32 \*ABS\*\+0x10003c 12 [ ]*[a-f0-9]+: f2 e9 00 00 00 00 bnd jmpq c <foo1> 8: R_X86_64_PC32 \*ABS\*\+0x10003c 13 14 0+c <foo1>: 15 [ ]*[a-f0-9]+: f2 eb fd bnd jmp c <foo1> 16 [ ]*[a-f0-9]+: f2 72 fa bnd jb c <foo1> 17 [ ]*[a-f0-9]+: f2 e8 f4 ff ff ff bnd callq c <foo1> 18 [ ]*[a-f0-9]+: f2 eb 09 bnd jmp 24 <foo2> 19 [ ]*[a-f0-9]+: f2 72 06 bnd jb 24 <foo2> 20 [ ]*[a-f0-9]+: f2 e8 00 00 00 00 bnd callq 24 <foo2> 21 22 0+24 <foo2>: 23 [ ]*[a-f0-9]+: f2 e9 00 00 00 00 bnd jmpq 2a <foo2\+0x6> 26: R_X86_64_PC32 foo-0x4 24 [ ]*[a-f0-9]+: f2 0f 82 00 00 00 00 bnd jb 31 <foo2\+0xd> 2d: R_X86_64_PC32 foo-0x4 25 [ ]*[a-f0-9]+: f2 e8 00 00 00 00 bnd callq 37 <foo2\+0x13> 33: R_X86_64_PC32 foo-0x4 26 [ ]*[a-f0-9]+: f2 e9 00 00 00 00 bnd jmpq 3d <foo2\+0x19> 39: R_X86_64_PLT32 foo-0x4 27 [ ]*[a-f0-9]+: f2 0f 82 00 00 00 00 bnd jb 44 <foo2\+0x20> 40: R_X86_64_PLT32 foo-0x4 28 [ ]*[a-f0-9]+: f2 e8 00 00 00 00 bnd callq 4a <foo2\+0x26> 46: R_X86_64_PLT32 foo-0x4 29