Fix incorrect sizes for Intel PT packets tma, pwrx, and vmcs

[aleden]

While comparing the reference Intel PT decoder (i.e. from libipt) with winafl's I found some incorrect sizes in winafl's code, namely for tma, pwrx, vmcs: their size is defined as 8 but according to libipt's sources they should all be 7.

See definition of enum pt_packet_size
(https://github.com/intel/libipt/blob/4310a2f21a368d31cdfc55b37d65928f38101dc4/libipt/internal/include/pt_opcodes.h#L382)

ptps_tma = pt_opcs_tma + pt_pl_tma_size which is = 2 + 5
ptps_pwrx = pt_opcs_pwrx + pt_pl_pwrx_size which is = 2 + 5
ptps_vmcs = pt_opcs_vmcs + pt_pl_vmcs_size which is = 2 + 5

There are two commits in this PR. The first one updates the lookup table dumping code to print something that has the formatting of the dump in winafl's source code. The second commit fixes the packet sizes.

[google-cla]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[aleden]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

Signed

[ifratric]

Hmm interesting, I spent quite some time making sure that the output from the reference decoder matches WinAFL's decoder and never caught this. Perhaps those packets were never generated on the cpus I tried. But you are right, those should have different sizes.

Thanks for catching this and for the fix!