Mathieu Tarral
Mathieu Tarral
While implementing [`VMI_EVENT_RESPONSE_SET_REGISTERS`](https://github.com/libvmi/libvmi/blob/master/libvmi/events.h#L437) in Libvmi KVM driver, I realized that it wasn't possible to `set` special registers and MSRs. The API provided by `kvmi-v6` allows to get these registers: https://github.com/KVM-VMI/kvm/blob/5205f803008a2ee5788ba0a9cc7a475a546889ba/tools/kvm/kvmi/include/kvmi/libkvmi.h#L110...
Ansible deployment should work on Ubuntu and CentOS (Stream 9)
Potential compatibility issue with 13th gen spotted by @GanbaruTobi in https://github.com/IntelLabs/kAFL/issues/275. Current workaround is to append `mitigations=off` in GRUB's kernel command line.
#### Community Note * Please vote on this issue by adding a 👍 [reaction](https://blog.github.com/2016-03-10-add-reactions-to-pull-requests-issues-and-comments/) to the original issue to help the community and maintainers prioritize this request * Please do...
It's time, we are in 2020, Python2 is officially dead and unsupported. There is no need to carry the burden anymore. cc @tklengyel, any opinions on the matter ?
Track what is missing to have a full support of LibVMI C API. - [ ] events: `libvmi/events.h` - [ ] rekall: `libvmi/rekall.h` (easier to parse the JSON directly in...
Make sure we stay compatible with the [`PyPy`](https://pypy.org/) PyPy is interesting in our case because of the speed improvements it can give, especially when we are monitoring hardware events and...
It would be interesting to get concrete data about the performance impact of Python vs C when it comes to LibVMI events monitoring. Also include `PyPy` here.
At the moment, we assume that libvmi has been compiled with default options. However, if someone disables the V2P cache for example, we have to detect it at runtime and...