forked from torvalds/linux
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
KVM: arm64: Add UBSan tests for PKVM.
Test the UBsan functionality inside hyp/nVHE. Because modules are not supported inside of hyp/nVHE code, the default testing module for UBSan can not be used. New functions have to be defined inside of hyp/nVHE. They are called in kvm_get_mdcr_el2, to test UBSAN whenever a VM starts. Change-Id: Icf998da0af023c74d45be90788ac9f694e61c97c Signed-off-by: Elena Petrova <lenaptr@google.com>
- Loading branch information
1 parent
aaa9326
commit cd5e508
Showing
6 changed files
with
128 additions
and
17 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,112 @@ | ||
/* SPDX-License-Identifier: GPL-2.0-only */ | ||
|
||
#include <linux/ctype.h> | ||
|
||
typedef void(*test_ubsan_fp)(void); | ||
|
||
static void test_ubsan_add_overflow(void) | ||
{ | ||
volatile int val = INT_MAX; | ||
|
||
val += 2; | ||
} | ||
|
||
static void test_ubsan_sub_overflow(void) | ||
{ | ||
volatile int val = INT_MIN; | ||
volatile int val2 = 2; | ||
|
||
val -= val2; | ||
} | ||
|
||
static void test_ubsan_mul_overflow(void) | ||
{ | ||
volatile int val = INT_MAX / 2; | ||
|
||
val *= 3; | ||
} | ||
|
||
static void test_ubsan_negate_overflow(void) | ||
{ | ||
volatile int val = INT_MIN; | ||
|
||
val = -val; | ||
} | ||
|
||
static void test_ubsan_divrem_overflow(void) | ||
{ | ||
volatile int val = 16; | ||
volatile int val2 = 0; | ||
|
||
val /= val2; | ||
} | ||
|
||
static void test_ubsan_shift_out_of_bounds(void) | ||
{ | ||
volatile int val = -1; | ||
int val2 = 10; | ||
|
||
val2 <<= val; | ||
} | ||
|
||
static void test_ubsan_out_of_bounds(void) | ||
{ | ||
volatile int i = 4, j = 5; | ||
volatile int arr[4]; | ||
|
||
arr[j] = i; | ||
} | ||
|
||
static void test_ubsan_load_invalid_value(void) | ||
{ | ||
volatile char *dst, *src; | ||
bool val, val2, *ptr; | ||
char c = 4; | ||
|
||
dst = (char *)&val; | ||
src = &c; | ||
*dst = *src; | ||
|
||
ptr = &val2; | ||
val2 = val; | ||
} | ||
|
||
static void test_ubsan_misaligned_access(void) | ||
{ | ||
volatile char arr[5] __aligned(4) = {1, 2, 3, 4, 5}; | ||
volatile int *ptr, val = 6; | ||
|
||
ptr = (int *)(arr + 1); | ||
*ptr = val; | ||
} | ||
|
||
static void test_ubsan_object_size_mismatch(void) | ||
{ | ||
/* "((aligned(8)))" helps this not into be misaligned for ptr-access. */ | ||
volatile int val __aligned(8) = 4; | ||
volatile long long *ptr, val2; | ||
|
||
ptr = (long long *)&val; | ||
val2 = *ptr; | ||
} | ||
|
||
static const test_ubsan_fp test_ubsan_array[] = { | ||
test_ubsan_out_of_bounds, | ||
test_ubsan_add_overflow, | ||
test_ubsan_sub_overflow, | ||
test_ubsan_mul_overflow, | ||
test_ubsan_negate_overflow, | ||
test_ubsan_divrem_overflow, | ||
test_ubsan_shift_out_of_bounds, | ||
test_ubsan_load_invalid_value, | ||
test_ubsan_misaligned_access, | ||
test_ubsan_object_size_mismatch, | ||
}; | ||
|
||
static void test_ubsan(void) | ||
{ | ||
unsigned int i; | ||
|
||
for (i = 0; i < ARRAY_SIZE(test_ubsan_array); i++) | ||
test_ubsan_array[i](); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters