On Fri, Apr 29, 2011 at 11:33 AM, Paolo Bonzini wrote:
> On 04/29/2011 02:17 AM, Peter Maydell wrote:
>>
>> The theoretical aim there as far
>> as I'm concerned is architectural correctness -- in other words we
>> should be a valid implementation of the architecture,
>
> That's not even the case f
On 04/29/2011 02:17 AM, Peter Maydell wrote:
The theoretical aim there as far
as I'm concerned is architectural correctness -- in other words we
should be a valid implementation of the architecture,
That's not even the case for x86. It should be a goal, however, that
with mainstream kernels u
On 28 April 2011 20:44, Anthony Liguori wrote:
> Just to be clear, at least for x86 CPU emulation, QEMU does not attempt to
> achieve perfect fidelity
Also true for ARM CPU emulation. The theoretical aim there as far
as I'm concerned is architectural correctness -- in other words we
should be a v
On 04/08/2011 02:18 AM, Roberto Paleari wrote:
Dear QEMU developers,
we are a group of researchers working at the University of Milan,
Italy. During the last year we focused on automatic techniques to find
defects inside CPU emulators and virtualizers. Our work has been
published in different co
On Wed, Apr 27, 2011 at 6:31 PM, Roberto Paleari
wrote:
> Hi Stefan,
>
> Not yet. I have not received any reply besides Blue Swirl's message..
Therefore, please publish the problems you found on this list so we
can start fixing them.
Hi Stefan,
Not yet. I have not received any reply besides Blue Swirl's message..
Roberto
On Wed, Apr 27, 2011 at 4:46 PM, Stefan Hajnoczi wrote:
> Hi Roberto,
> Any update? Did a qemu.git committer contact you in order to handle
> the issues you found?
On Fri, Apr 8, 2011 at 8:18 AM, Roberto Paleari
wrote:
> For this reason, we ask to whom it may concern to contact us privately
> at emufuz...@security.dico.unimi.it to discuss about the disclosure of
> these results.
Hi Roberto,
Any update? Did a qemu.git committer contact you in order to handl
On Fri, Apr 8, 2011 at 9:56 PM, Blue Swirl wrote:
> Very interesting!
Thank you!
> KEmuFuzzer seems to be more general. The approach of the patch is a
> bit intrusive. But there are similarities with it and GDB interface,
> tracepoints and other instrumentation needs, so it may be possible to
>
On Fri, Apr 8, 2011 at 10:18 AM, Roberto Paleari
wrote:
> Dear QEMU developers,
>
> we are a group of researchers working at the University of Milan,
> Italy. During the last year we focused on automatic techniques to find
> defects inside CPU emulators and virtualizers. Our work has been
> publis
Dear QEMU developers,
we are a group of researchers working at the University of Milan,
Italy. During the last year we focused on automatic techniques to find
defects inside CPU emulators and virtualizers. Our work has been
published in different conference papers [1][2][3], and the testing
method
10 matches
Mail list logo
