From ce70880ae710f930d895ac30e0df025cc005eb19 Mon Sep 17 00:00:00 2001 From: Alexander Potapenko Date: Fri, 6 Sep 2024 10:07:23 +0200 Subject: executor: sys/linux: arm64: implement SYZOS_API_MEMWRITE The new API call will be used to write values to guest memory specified by base+offset. Writing to e.g. MMIO registers for VGIC (or any other MMIO ranges) may result in new coverage. --- sys/linux/dev_kvm.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'sys/linux/dev_kvm.txt') diff --git a/sys/linux/dev_kvm.txt b/sys/linux/dev_kvm.txt index efda70b47..c4aa97b84 100644 --- a/sys/linux/dev_kvm.txt +++ b/sys/linux/dev_kvm.txt @@ -288,6 +288,15 @@ syzos_api_irq_setup { nr_spis int32[0:987] } +syzos_memwrite_len = 1, 2, 4, 8 + +syzos_api_memwrite { + base flags[kvm_guest_addrs, int64] + offset int64[0:4096] + value int64 + len flags[syzos_memwrite_len, int64] +} + type syzos_api[NUM, PAYLOAD] { call const[NUM, int64] size bytesize[parent, int64] @@ -301,6 +310,7 @@ syzos_api_call [ smc syzos_api[3, syzos_api_smccc] hvc syzos_api[4, syzos_api_smccc] irq_setup syzos_api[5, syzos_api_irq_setup] + memwrite syzos_api[6, syzos_api_memwrite] ] [varlen] kvm_text_ppc64 { -- cgit mrf-deployment