Re: [RFC PATCH] xen: add libafl-qemu fuzzer support

[Volodymyr Babchuk <Volodymyr_Babchuk@epam.com>]

Hi Andrew,

Andrew Cooper <andrew.cooper3@citrix.com> 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