AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Add host coverage for checked arithmetic edge cases
author
vm.fail
date
(Mar 24, 2026, 3:47 PM UTC)
commit
094a91b3
094a91b3a94b47f763cc0ecad78d7ae447577c90
parent
cf678a42
cf678a4255e527493c731a63350846b3f9f5ac76
vm.fail
date
(Mar 24, 2026, 3:47 PM UTC)
commit
094a91b3
094a91b3a94b47f763cc0ecad78d7ae447577c90
parent
cf678a42
cf678a4255e527493c731a63350846b3f9f5ac76
+21
+2
Makefile
+2
Makefile
···
139
139
mkdir -p build-host
140
140
$(CC) -std=c11 -Wall -Wextra -Werror -Iinclude tests/host/test_hv_types.c -o build-host/test_hv_types
141
141
build-host/test_hv_types
142
+
$(CC) -std=c11 -Wall -Wextra -Werror -Iinclude tests/host/test_hv_interval.c -o build-host/test_hv_interval
143
+
build-host/test_hv_interval
142
144
$(PYTHON) tests/test_log_decode.py
143
145
$(PYTHON) scripts/check_release.py
144
146
+19
tests/host/test_hv_interval.c
+19
tests/host/test_hv_interval.c
···
1
+
#include "hv/interval.h"
2
+
3
+
#include <assert.h>
4
+
#include <stdint.h>
5
+
6
+
int main(void)
7
+
{
8
+
uint64_t end = 0;
9
+
struct hv_interval outer = { 0x1000u, 0x4000u };
10
+
struct hv_interval inner = { 0x2000u, 0x1000u };
11
+
struct hv_interval overflow = { UINT64_MAX - 1u, 4u };
12
+
13
+
assert(hv_interval_end(outer, &end));
14
+
assert(end == 0x5000u);
15
+
assert(hv_interval_contains(outer, inner));
16
+
assert(!hv_interval_contains(inner, outer));
17
+
assert(!hv_interval_end(overflow, &end));
18
+
return 0;
19
+
}