From 2152023f390a7dc45cf16cd5cc283d0cfa93b8ee Mon Sep 17 00:00:00 2001 From: William Woodruff Date: Tue, 6 Oct 2020 17:07:25 -0400 Subject: [PATCH] native/cpu/x86: Add support for CPUID EAX=80000000h (#1811) --- manticore/native/cpu/x86.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/manticore/native/cpu/x86.py b/manticore/native/cpu/x86.py index e839d7268..a43dbbdd1 100644 --- a/manticore/native/cpu/x86.py +++ b/manticore/native/cpu/x86.py @@ -961,6 +961,10 @@ def CPUID(cpu): 0x0: (0x00000000, 0x00000000, 0x00000000, 0x00000000), 0x1: (0x00000000, 0x00000000, 0x00000000, 0x00000000), }, + # CPUID with EAX=80000000h returns the highest supported extended function + # query in EAX. We don't currently support any other than 80000000h itself, + # so just return it back. + 0x80000000: (0x80000000, 0x00000000, 0x00000000, 0x00000000), } if cpu.EAX not in conf: