[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC PATCH] xen: add libafl-qemu fuzzer support
- To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
- From: Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>
- Date: Tue, 19 Nov 2024 20:46:25 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=epam.com; dmarc=pass action=none header.from=epam.com; dkim=pass header.d=epam.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=rJruq0yoNzq1N1/lEG0ezfuppAu8FAcuid+Q3OYVsLk=; b=n3XpVkl6rB0ifIlhqAe7eFtUsX8eyUMhLqcTPOjFQJYanfL90hm7YBXJF7LnfP3tT9DMnob9P2m3ucPxWaBOT6mc3am6k4eh8uXjrQXp8X3YxKBQSxVZMAwtz4imWUWVrd1dnASwAtHVLwuTPFqvmalnB9RWIjpZRPM4wjK24pgB9Daaic2f1w+9DZAQTMLW448k6PQGqh+O2cMzWsyHmUqSia9GKEEtaT0Eqwg708Uc5bQIf5AM5KViUay3PY5Y2ys5+mPfJ2o8OOTxd9kNI2nPA3vjXeROGUaMcM4Ew+UHFgFLBN8oikWv59AgMN/8UNPwLTIg1EomvtwarnD0EQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=spdFOaV8Qcwr7rM4qe6AUj37qXnSQqXJ+K8V8QRZiuOxoO74ef4Sw3Y+n1VXcVx7zJntereuyGLWD6CtX/38NUJ/rurErDU1khIq/EXuTSdfwC70eRzN1+Oj/FKt0+Vkn8rCukWKOMEh2i3pLGBRWI3VWcVlFL/vjuhQ+7bAirvE5V6q3L4Tb4bhFK0ESQpxuHHV8GrQdbYCj5+BDXKyxEYGufac6lHutryhkkU7+od8uwoRHAuKyY+FjWFaLOJFhp4NpqwTUvu24iAy3tFqaWP/EzGWWGNC1/dg0bV2w4VhP61DZisEPSjtb+Z1uTWLQ8wcICnKe2D9Dhv3+i6/xQ==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=epam.com;
- Cc: Stefano Stabellini <sstabellini@xxxxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Julien Grall <julien@xxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Dario Faggioli <dfaggioli@xxxxxxxx>, Juergen Gross <jgross@xxxxxxxx>, George Dunlap <gwd@xxxxxxxxxxxxxx>
- Delivery-date: Tue, 19 Nov 2024 20:46:55 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHbNucXRmUX3Y7lRUGcS7d55ZSXhw==
- Thread-topic: [RFC PATCH] xen: add libafl-qemu fuzzer support
Hi Andrew,
Andrew Cooper <andrew.cooper3@xxxxxxxxxx> writes:
> On 19/11/2024 3:16 pm, Volodymyr Babchuk wrote:
>>> On Thu, 14 Nov 2024, Volodymyr Babchuk wrote:
>> As for test harness, I am using Zephyr currently. My first intention was
>> to use XTF, but it is x86-only... I am still considering using XTF for
>> x86 runs.
>
> I need to get back to fixing this.
>
> My in-progress ARM (and RISC-V) branch can make a prink() (console IO
> hypercall) and clean shutdown (schedop).
If you can share your branch, I'll try to use it as a test
harness. Also, it came to my attention that there is XTF with ARM
support, hosted on gitlab ([1]).
As for the licensing, you are right LibAFL is dual licensed, so we can
use MIT. I re-checked header files ([2]) which I used as a base. They have
no SPDX identifier, so I believe it it safe to use the clause from the
main README.md file ([3]).
[1] https://gitlab.com/xen-project/fusa/xtf/-/commits/xtf-arm?ref_type=heads
[2] https://github.com/AFLplusplus/LibAFL/tree/main/libafl_qemu/runtime
[3] https://github.com/AFLplusplus/LibAFL/blob/main/README.md
--
WBR, Volodymyr
|
