Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-29 17:54 GMT+02:00 Wei Liu : > On Wed, Mar 29, 2017 at 04:24:15PM +0200, Felix Schmoll wrote: > > Hi, > > > > here the final patch for the domain_id: > > Please have a look at > > https://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches > > And follow the instructions to submit patc

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Wed, Mar 29, 2017 at 04:24:15PM +0200, Felix Schmoll wrote: > Hi, > > here the final patch for the domain_id: Please have a look at https://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches And follow the instructions to submit patches. ___

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi, here the final patch for the domain_id: diff --git a/tools/libxc/include/xenctrl.h b/tools/libxc/include/xenctrl.h index 2d97d36c38..1e152c8a07 100644 --- a/tools/libxc/include/xenctrl.h +++ b/tools/libxc/include/xenctrl.h @@ -1569,6 +1569,7 @@ int xc_domctl(xc_interface *xch, struct xen_domc

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Wed, Mar 29, 2017 at 07:52:47AM +0200, Felix Schmoll wrote: > > > > Yes. That would be good. > > > > I'm free every afternoon this week (German time, I suppose you're in > Europe), so just let me know at least three hours in advance when you're > free > to have a chat. > I can do 4-5pm today

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-28 13:54 GMT+02:00 Wei Liu : > On Tue, Mar 28, 2017 at 10:21:14AM +0100, Lars Kurth wrote: > > Hi all, > > > > I wanted to add a few thoughts here, as this is clearly one of the > harder tasks. > > It's really hard. I don't even expect an experienced Xen developer to be > able to finish al

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Tue, Mar 28, 2017 at 10:21:14AM +0100, Lars Kurth wrote: > Hi all, > > I wanted to add a few thoughts here, as this is clearly one of the harder > tasks. It's really hard. I don't even expect an experienced Xen developer to be able to finish all three goals in three months. Felix, don't feel

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi all, I wanted to add a few thoughts here, as this is clearly one of the harder tasks. > On 27 Mar 2017, at 14:07, Felix Schmoll wrote: > > 2017-03-26 15:04 GMT+02:00 Wei Liu >: > On Sun, Mar 26, 2017 at 01:33:08PM +0200, Felix Schmoll wrote: > [...] > > > So just

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-26 15:04 GMT+02:00 Wei Liu : > On Sun, Mar 26, 2017 at 01:33:08PM +0200, Felix Schmoll wrote: > [...] > > > So just one last time to be clear about this: You can't just ignore > > interrupts and write all other edges to a shared memory region, like the > > KCOV feature the syzkaller uses d

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Sun, Mar 26, 2017 at 01:33:08PM +0200, Felix Schmoll wrote: [...] > > So just one last time to be clear about this: You can't just ignore > interrupts and write all other edges to a shared memory region, like the > KCOV feature the syzkaller uses does, Yes, you can. Since you mention that, let

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-24 13:56 GMT+01:00 Wei Liu : > On Fri, Mar 24, 2017 at 08:34:46AM +0100, Felix Schmoll wrote: > > Hi, > > > > this time for real: > > > > so I've been reading up on the task quite a bit now and I'd be thankful > if > > you could clarify what exactly you're looking for with the execution >

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Fri, Mar 24, 2017 at 08:34:46AM +0100, Felix Schmoll wrote: > Hi, > > this time for real: > > so I've been reading up on the task quite a bit now and I'd be thankful if > you could clarify what exactly you're looking for with the execution path. > The AFL-fuzzer seems to make use just of a rat

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi Felix, On 24/03/17 08:34, Felix Schmoll wrote: > On another note, would it be possible to apply for a second project > (Adding Floating Point support to Mini-OS) without having to do another > patch? Sure. In case both projects get selected you have to pick one of them. The patch you've sent

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi, this time for real: so I've been reading up on the task quite a bit now and I'd be thankful if you could clarify what exactly you're looking for with the execution path. The AFL-fuzzer seems to make use just of a rather simple representation of that (https://lwn.net/Articles/674854/), so you

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Sorry, the email went out too early accidentally, just ignore it for now, I still have to fill in the template. 2017-03-23 8:18 GMT+01:00 Felix Schmoll : > Hi, > > so I've been reading up on the task quite a bit now and I'd be thankful if > you could clarify what exactly you're looking for with t

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi, so I've been reading up on the task quite a bit now and I'd be thankful if you could clarify what exactly you're looking for with the execution path. The AFL-fuzzer seems to make use just of a rather simple representation of that (https://lwn.net/Articles/674854/), so you would just have to in

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Wed, Mar 22, 2017 at 10:54:38AM +0100, Felix Schmoll wrote: > > Got it working! Thanks for all the help, will look into the "actual" task > now :D That's good. IIRC the application is now open. Don't forget to submit your proposal. Wei. > > > > > Wei. > > _

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-22 9:52 GMT+01:00 Wei Liu : > On Wed, Mar 22, 2017 at 09:47:06AM +0100, Felix Schmoll wrote: > > 2017-03-21 17:14 GMT+01:00 Wei Liu : > > > > > On Tue, Mar 21, 2017 at 04:13:24PM +, Wei Liu wrote: > > > > On Mon, Mar 20, 2017 at 09:12:54AM +0100, Felix Schmoll wrote: > > > > [...] > >

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Wed, Mar 22, 2017 at 09:47:06AM +0100, Felix Schmoll wrote: > 2017-03-21 17:14 GMT+01:00 Wei Liu : > > > On Tue, Mar 21, 2017 at 04:13:24PM +, Wei Liu wrote: > > > On Mon, Mar 20, 2017 at 09:12:54AM +0100, Felix Schmoll wrote: > > > [...] > > > > From 7e50f50b2a1e95cbc813354d68c71315d4d1394

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-21 17:14 GMT+01:00 Wei Liu : > On Tue, Mar 21, 2017 at 04:13:24PM +, Wei Liu wrote: > > On Mon, Mar 20, 2017 at 09:12:54AM +0100, Felix Schmoll wrote: > > [...] > > > From 7e50f50b2a1e95cbc813354d68c71315d4d1394b Mon Sep 17 00:00:00 2001 > > > From: Felix Schmoll > > > Date: Thu, 16 M

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Mon, Mar 20, 2017 at 05:47:32PM +0100, Felix Schmoll wrote: > #include > #include > > int main(void) { > xc_interface *xch = xc_interface_open(NULL, NULL, 0); > > int ver = xc_version(xch, XENVER_version, NULL); > Did this succeed? > printf("Xen Version %d.%d\n", ver >> 16,

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-20 17:18 GMT+01:00 Wei Liu : > On Mon, Mar 20, 2017 at 09:12:54AM +0100, Felix Schmoll wrote: > > 2017-03-16 17:27 GMT+01:00 Wei Liu : > > > > #undef COMP > > diff --git a/xen/common/kernel.c b/xen/common/kernel.c > > index 4b87c60845..de07ee529b 100644 > > --- a/xen/common/kernel.c > > +

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

On Thu, Mar 16, 2017 at 04:53:38PM +0100, Felix Schmoll wrote: [...] > > Hi, > > I installed Xen from source and I figured out that for the hypercall I have > to make a two-line change in xen/xen/common/kernel.c and a couple of > headers. I mostly went with what I got by grepping for the > "xen_v

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

2017-03-13 12:14 GMT+01:00 Wei Liu : > Hi Felix > > Thanks for your interest in this project. > > On Sun, Mar 12, 2017 at 09:48:11PM +0100, Felix Ekkehard Schmoll wrote: > > Hi, > > > > I’m interested in the “Fuzzing Xen hypercall interface” project so I > > just wanted to introduce myself: > > >

Re: [Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi Felix Thanks for your interest in this project. On Sun, Mar 12, 2017 at 09:48:11PM +0100, Felix Ekkehard Schmoll wrote: > Hi, > > I’m interested in the “Fuzzing Xen hypercall interface” project so I > just wanted to introduce myself: > > I’m a third-year undergraduate CS student at Jacobs Un

[Xen-devel] [GSoC] GSoC Introduction : Fuzzing Xen hypercall interface

Hi, I’m interested in the “Fuzzing Xen hypercall interface” project so I just wanted to introduce myself: I’m a third-year undergraduate CS student at Jacobs University in Bremen, Germany. It’s a rather small university and rather young but quite successful in the national rankings (*brag*).