| 6515 |
serge |
1 |
/* Copyright (C) 2012-2015 Free Software Foundation, Inc. |
|
|
2 |
|
|
|
3 |
This file is part of GCC. |
|
|
4 |
|
|
|
5 |
GCC is free software; you can redistribute it and/or modify it under |
|
|
6 |
the terms of the GNU General Public License as published by the Free |
|
|
7 |
Software Foundation; either version 3, or (at your option) any later |
|
|
8 |
version. |
|
|
9 |
|
|
|
10 |
GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
|
|
11 |
WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
|
12 |
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
|
13 |
for more details. |
|
|
14 |
|
|
|
15 |
Under Section 7 of GPL version 3, you are granted additional |
|
|
16 |
permissions described in the GCC Runtime Library Exception, version |
|
|
17 |
3.1, as published by the Free Software Foundation. |
|
|
18 |
|
|
|
19 |
You should have received a copy of the GNU General Public License and |
|
|
20 |
a copy of the GCC Runtime Library Exception along with this program; |
|
|
21 |
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see |
|
|
22 |
. */ |
|
|
23 |
|
|
|
24 |
/* This file is part of the vtable verification feature (for a |
|
|
25 |
detailed description of the feature, see comments in |
|
|
26 |
vtable-verify.c). The vtable verification feature creates |
|
|
27 |
certain global symbols that need to be read-write sometimes during |
|
|
28 |
program execution, and read-only at others. It uses 'mprotect' to |
|
|
29 |
change the memory protections of the pages on which these variables |
|
|
30 |
are stored. In order to not affect the protections of other |
|
|
31 |
program variables, these variables are put into a special named |
|
|
32 |
section, ".vtable_map_vars", which is page-aligned at the start, |
|
|
33 |
and which is padded with a page-sized amount of zeros at the end. |
|
|
34 |
To make this section page aligned, we create a special symbol, |
|
|
35 |
"_vtable_map_vars_start" which we make the very first thing that |
|
|
36 |
goes into the section. That is defined in vtv_start.c (which |
|
|
37 |
contains nothing else). vtv_start.c gest compiled into |
|
|
38 |
vtv_start.o, and vtv_start.o gets inserted into the link line |
|
|
39 |
immediately after crtbegin.o, if the program is compiled with |
|
|
40 |
-fvtable.verify. |
|
|
41 |
|
|
|
42 |
In order to pad the ".vtable_map_vars" section with a page-sized |
|
|
43 |
amount of zeros at the end, there is a second symbol, |
|
|
44 |
_vtable_map_vars_end. This file defines that symbol (and only this |
|
|
45 |
symbol). This second symbol is a page-sized array of chars, |
|
|
46 |
zero-filled, and is the very last thing to go into the section. |
|
|
47 |
When the GCC driver inserts vtv_start.o into the link line (just |
|
|
48 |
after crtbegin.o) it also inserts vtv_end.o into the link line, |
|
|
49 |
just before crtend.o. This has the desired effect of making our |
|
|
50 |
section page-aligned and page-size paded, ensuring that no other |
|
|
51 |
program data lands on our pages. */ |
|
|
52 |
|
|
|
53 |
#include "vtv-change-permission.h" |
|
|
54 |
|
|
|
55 |
void |
|
|
56 |
__VLTProtectPreinit (void) |
|
|
57 |
{ |
|
|
58 |
__VLTChangePermission (__VLTP_READ_ONLY); |
|
|
59 |
} |
|
|
60 |
|
|
|
61 |
/* Page-sized variable to mark end of .vtable_map_vars section. */ |
|
|
62 |
char _vtable_map_vars_end[VTV_PAGE_SIZE] |
|
|
63 |
__attribute__ ((__visibility__ ("protected"), used, |
|
|
64 |
section(".vtable_map_vars"))); |
|
|
65 |
|
|
|
66 |
/* Put the function __VLTProtectPreinit into the .preinit_array |
|
|
67 |
section. */ |
|
|
68 |
|
|
|
69 |
__attribute__ ((section (".preinit_array"))) |
|
|
70 |
typeof (__VLTProtectPreinit) *__preinit_end = __VLTProtectPreinit; |