Mathieu Tarral

Improving the test suite

1

Our test suite can be improved. The current design has some limitations: # Problem 1: API To run a test, you have to use the `VMTest` class interface provided and...

`AttributeError` when accessing an attribute with a default value set in a child class

4

Hi, I'm surprised that this `attrs` code doesn't work: ```python #!/usr/bin/env python3 from abc import ABC from attrs import define, field @define(slots=False, auto_attribs=True, auto_detect=True) class A(ABC): field_1: int = 42...

This PR removes the pinning on [`stable-v0.5`](https://github.com/IntelLabs/kAFL/tree/stable-v0.5) branch for the kAFL Ansible collection and uses `master` instead. See this ticket https://github.com/IntelLabs/kAFL/issues/184 The ccc repo's bkc role is already overriding the...

Generate `kalf_fuzzer` package documentation with Sphinx apidoc: https://www.sphinx-doc.org/en/master/man/sphinx-apidoc.html https://pypi.org/project/sphinxcontrib-apidoc/

Remove qemu_append from the default configuration

2

The default configuration kafl.fuzzer configuration file specify a `qemu_append` option. https://github.com/IntelLabs/kafl.fuzzer/blob/master/kafl_fuzzer/common/config/default_settings.yaml#L27 This is only useful when fuzzing a kernel specified with `--kernel`. This setting is target specific and should be...

This setting is specific for kernel fuzzing, and should only be present in https://github.com/IntelLabs/kafl.targets/blob/master/linux-kernel/kafl_config.yaml Raised by @miki-intel-work

Proposal: CI/CD to enforce best practises

1

# Issue `kafl.fuzzer` has no CI/CD mechanism in place, and the code currently merged into master has not garantee or code quality enforcements whatsoever. # Proposal Deploy a CI to...

I tried to setup the vagrant on an AMD processor, and the self-tests fails: ~~~ TASK [run kvm self-tests] ****************************************************** fatal: [kvmi]: FAILED! => changed=true cmd: - ./tools/testing/selftests/kvm/x86_64/kvmi_test delta: '0:00:00.607688'...

kvmi-v6: some fields of kvmi_qemu2introspector and kvmi_introspector2qemu are empty

5

Hi, I would like to print the available information in the KVMi handshake callback: ~~~C static int cb_handshake( const struct kvmi_qemu2introspector *qemu, struct kvmi_introspector2qemu *intro, void *ctx) { (void)ctx; if...

kvmi-v6: Context emulation is specific to memory events

1

In the KVMi-v6 API, the ability to emulate new data or new instructions is tied to the reply of a memory event: https://github.com/KVM-VMI/kvm/blob/5205f803008a2ee5788ba0a9cc7a475a546889ba/include/uapi/linux/kvmi.h#L251 ~~~C struct kvmi_event_pf_reply { __u64 ctx_addr; __u32...