| Index: src/trusted/validator_x86/testdata/32/test-9.tf
|
| diff --git a/src/trusted/validator_x86/testdata/32/test-9.tf b/src/trusted/validator_x86/testdata/32/test-9.tf
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..4fc1db56e11f0c0417554507fa75c5ced23ccd5c
|
| --- /dev/null
|
| +++ b/src/trusted/validator_x86/testdata/32/test-9.tf
|
| @@ -0,0 +1,11 @@
|
| +BITS: 32
|
| +OUTCOME: invalid
|
| +
|
| +# test 9: seven byte control transfer, unprotected.
|
| +asm: jmp *0x8056ec8(,%edx,4)
|
| +hex: ff 24 95 c8 6e 05 08
|
| +nc_out: Unsafe indirect jump
|
| +
|
| +asm: nop; nop; nop; nop; nop; nop; hlt
|
| +hex: 90 90 90 90 90 90 f4
|
| +
|
|
|