blob: df9d320a47aed995c20d4507ddbeb0465a530d76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/** @file vmmbasetest.H
* @brief Test cases for permission settings on the base block of the VMM.
*/
#ifndef __KERNEL_VMMBASETEST_H
#define __KERNEL_VMMBASETEST_H
#include <cxxtest/TestSuite.H>
#include <sys/task.h>
#include <kernel/console.H>
#include <arch/ppc.H>
class VmmBaseTest : public CxxTest::TestSuite
{
public:
static volatile int rc;
void testNullAccess()
{
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(readFromNULL, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to NULL not caught.");
}
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(writeToNULL, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to NULL not caught.");
}
}
void testWriteToKernelCode()
{
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(writeToKernelCode, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to kernel code not caught.");
}
}
void testExecuteKernelDataSpace()
{
// @TODO. VMM not ready.
}
void testWriteModuleText()
{
// @TODO. VMM not ready.
}
void testExecuteModuleDataSpace()
{
// @TODO. VMM not ready.
}
private:
static void readFromNULL(void* unused)
{
rc = 1; sync();
printk("%lx", (*(uint64_t*)NULL)); sync();
rc = -1; sync();
task_end();
}
static void writeToNULL(void* unused)
{
rc = 1; sync();
(*(uint64_t*)NULL) = 0x12345678; sync();
rc = -1; sync();
task_end();
}
static void writeToKernelCode(void* unused)
{
rc = 1; sync();
(*(*(uint64_t**)&printk)) = 0x12345678; sync();
rc = -1; sync();
task_end();
}
};
volatile int VmmBaseTest::rc = 0;
#endif
|