From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42510) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1buFhY-00012f-HD for qemu-devel@nongnu.org; Wed, 12 Oct 2016 05:19:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1buFhW-0005Ed-QC for qemu-devel@nongnu.org; Wed, 12 Oct 2016 05:19:52 -0400 Received: from mail-ua0-x22b.google.com ([2607:f8b0:400c:c08::22b]:33712) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1buFhW-0005EC-LD for qemu-devel@nongnu.org; Wed, 12 Oct 2016 05:19:50 -0400 Received: by mail-ua0-x22b.google.com with SMTP id p25so3574168uaa.0 for ; Wed, 12 Oct 2016 02:19:50 -0700 (PDT) MIME-Version: 1.0 In-Reply-To: References: From: Peter Maydell Date: Wed, 12 Oct 2016 02:19:28 -0700 Message-ID: Content-Type: text/plain; charset=UTF-8 Subject: Re: [Qemu-devel] x86 Instruction Testing? List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Taylor Edward Heimbichner Cc: QEMU Developers On 11 October 2016 at 16:51, Taylor Edward Heimbichner wrote: > I'm a student researcher with the University of Arizona's Computer Science > Department. I'm writing to ask if any executable that you use to test QEMU > systematically tests all, or at least a large portion, of the x86 > instruction set? We're working on a project that involves dynamic taint > analysis and would like to use an executable like this to comprehensively > test our work. Thank you. My suggestions would be one of: (a) extend the 'risu' tool https://git.linaro.org/people/peter.maydell/risu.git/blob/HEAD:/README to handle x86 (b) look at valgrind's test suite, which is much more comprehensive than QEMU's is. NB: neither of these makes any attempt at testing 'system' instructions, only those which can be used by a userspace binary. thanks -- PMM