* [Qemu-devel] x86 Instruction Testing?
@ 2016-10-11 23:51 Taylor Edward Heimbichner
2016-10-12 6:59 ` Paolo Bonzini
2016-10-12 9:19 ` Peter Maydell
0 siblings, 2 replies; 3+ messages in thread
From: Taylor Edward Heimbichner @ 2016-10-11 23:51 UTC (permalink / raw)
To: qemu-devel
Hello,
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.
Sincerely,
Taylor Heimbichner
University of Arizona Computer Science Department
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Qemu-devel] x86 Instruction Testing?
2016-10-11 23:51 [Qemu-devel] x86 Instruction Testing? Taylor Edward Heimbichner
@ 2016-10-12 6:59 ` Paolo Bonzini
2016-10-12 9:19 ` Peter Maydell
1 sibling, 0 replies; 3+ messages in thread
From: Paolo Bonzini @ 2016-10-12 6:59 UTC (permalink / raw)
To: Taylor Edward Heimbichner, qemu-devel
On 12/10/2016 01:51, Taylor Edward Heimbichner wrote:
> 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.
There is tests/tcg/test-i386. It doesn't cover newer instructions, but
I tried it just now and it was enough to find a couple bugs, so it
cannot be that bad!
Paolo
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Qemu-devel] x86 Instruction Testing?
2016-10-11 23:51 [Qemu-devel] x86 Instruction Testing? Taylor Edward Heimbichner
2016-10-12 6:59 ` Paolo Bonzini
@ 2016-10-12 9:19 ` Peter Maydell
1 sibling, 0 replies; 3+ messages in thread
From: Peter Maydell @ 2016-10-12 9:19 UTC (permalink / raw)
To: Taylor Edward Heimbichner; +Cc: QEMU Developers
On 11 October 2016 at 16:51, Taylor Edward Heimbichner
<theimbichner@email.arizona.edu> 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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-10-12 9:19 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-10-11 23:51 [Qemu-devel] x86 Instruction Testing? Taylor Edward Heimbichner
2016-10-12 6:59 ` Paolo Bonzini
2016-10-12 9:19 ` Peter Maydell
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).