]>
Commit | Line | Data |
---|---|---|
37d6f666 | 1 | /* AddressSanitizer, a fast memory error detector. |
818ab71a | 2 | Copyright (C) 2011-2016 Free Software Foundation, Inc. |
37d6f666 WM |
3 | Contributed by Kostya Serebryany <kcc@google.com> |
4 | ||
5 | This file is part of GCC. | |
6 | ||
7 | GCC is free software; you can redistribute it and/or modify it under | |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 3, or (at your option) any later | |
10 | version. | |
11 | ||
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with GCC; see the file COPYING3. If not see | |
19 | <http://www.gnu.org/licenses/>. */ | |
20 | ||
21 | #ifndef TREE_ASAN | |
22 | #define TREE_ASAN | |
23 | ||
ef1b3fda | 24 | extern void asan_function_start (void); |
f3ddd692 | 25 | extern void asan_finish_file (void); |
3a4abd2f DM |
26 | extern rtx_insn *asan_emit_stack_protection (rtx, rtx, unsigned int, |
27 | HOST_WIDE_INT *, tree *, int); | |
8240018b | 28 | extern bool asan_protect_global (tree); |
0e668eaf | 29 | extern void initialize_sanitizer_builtins (void); |
59b36ecf | 30 | extern tree asan_dynamic_init_call (bool); |
06cefae9 | 31 | extern bool asan_expand_check_ifn (gimple_stmt_iterator *, bool); |
6dc4a604 | 32 | extern bool asan_expand_mark_ifn (gimple_stmt_iterator *); |
f3ddd692 | 33 | |
ac0ff9f2 JJ |
34 | extern gimple_stmt_iterator create_cond_insert_point |
35 | (gimple_stmt_iterator *, bool, bool, bool, basic_block *, basic_block *); | |
36 | ||
f3ddd692 JJ |
37 | /* Alias set for accessing the shadow memory. */ |
38 | extern alias_set_type asan_shadow_set; | |
37d6f666 | 39 | |
6dc4a604 ML |
40 | /* Hash set of labels that are either used in a goto, or their address |
41 | has been taken. */ | |
42 | extern hash_set <tree> *asan_used_labels; | |
43 | ||
dfe06d3e | 44 | /* Shadow memory is found at |
fd960af2 | 45 | (address >> ASAN_SHADOW_SHIFT) + asan_shadow_offset (). */ |
dfe06d3e | 46 | #define ASAN_SHADOW_SHIFT 3 |
6dc4a604 | 47 | #define ASAN_SHADOW_GRANULARITY (1UL << ASAN_SHADOW_SHIFT) |
dfe06d3e | 48 | |
f3ddd692 JJ |
49 | /* Red zone size, stack and global variables are padded by ASAN_RED_ZONE_SIZE |
50 | up to 2 * ASAN_RED_ZONE_SIZE - 1 bytes. */ | |
51 | #define ASAN_RED_ZONE_SIZE 32 | |
52 | ||
53 | /* Shadow memory values for stack protection. Left is below protected vars, | |
54 | the first pointer in stack corresponding to that offset contains | |
55 | ASAN_STACK_FRAME_MAGIC word, the second pointer to a string describing | |
56 | the frame. Middle is for padding in between variables, right is | |
57 | above the last protected variable and partial immediately after variables | |
58 | up to ASAN_RED_ZONE_SIZE alignment. */ | |
6dc4a604 ML |
59 | #define ASAN_STACK_MAGIC_LEFT 0xf1 |
60 | #define ASAN_STACK_MAGIC_MIDDLE 0xf2 | |
61 | #define ASAN_STACK_MAGIC_RIGHT 0xf3 | |
6dc4a604 ML |
62 | #define ASAN_STACK_MAGIC_USE_AFTER_RET 0xf5 |
63 | #define ASAN_STACK_MAGIC_USE_AFTER_SCOPE 0xf8 | |
f3ddd692 | 64 | |
e361382f JJ |
65 | #define ASAN_STACK_FRAME_MAGIC 0x41b58ab3 |
66 | #define ASAN_STACK_RETIRED_MAGIC 0x45e0360e | |
f3ddd692 | 67 | |
6dc4a604 ML |
68 | /* Various flags for Asan builtins. */ |
69 | enum asan_check_flags | |
f3ddd692 | 70 | { |
6dc4a604 ML |
71 | ASAN_CHECK_STORE = 1 << 0, |
72 | ASAN_CHECK_SCALAR_ACCESS = 1 << 1, | |
73 | ASAN_CHECK_NON_ZERO_LEN = 1 << 2, | |
74 | ASAN_CHECK_LAST = 1 << 3 | |
75 | }; | |
76 | ||
77 | /* Flags for Asan check builtins. */ | |
78 | enum asan_mark_flags | |
79 | { | |
80 | ASAN_MARK_CLOBBER = 1 << 0, | |
81 | ASAN_MARK_UNCLOBBER = 1 << 1, | |
82 | ASAN_MARK_LAST = 1 << 2 | |
83 | }; | |
f3ddd692 | 84 | |
8240018b JJ |
85 | /* Return the size of padding needed to insert after a protected |
86 | decl of SIZE. */ | |
87 | ||
88 | static inline unsigned int | |
89 | asan_red_zone_size (unsigned int size) | |
90 | { | |
91 | unsigned int c = size & (ASAN_RED_ZONE_SIZE - 1); | |
92 | return c ? 2 * ASAN_RED_ZONE_SIZE - c : ASAN_RED_ZONE_SIZE; | |
93 | } | |
94 | ||
fd960af2 YG |
95 | extern bool set_asan_shadow_offset (const char *); |
96 | ||
18af8d16 YG |
97 | extern void set_sanitized_sections (const char *); |
98 | ||
6dc4a604 ML |
99 | extern bool asan_sanitize_stack_p (void); |
100 | ||
bdea98ca MO |
101 | /* Return TRUE if builtin with given FCODE will be intercepted by |
102 | libasan. */ | |
103 | ||
104 | static inline bool | |
105 | asan_intercepted_p (enum built_in_function fcode) | |
106 | { | |
107 | return fcode == BUILT_IN_INDEX | |
108 | || fcode == BUILT_IN_MEMCHR | |
109 | || fcode == BUILT_IN_MEMCMP | |
110 | || fcode == BUILT_IN_MEMCPY | |
111 | || fcode == BUILT_IN_MEMMOVE | |
112 | || fcode == BUILT_IN_MEMSET | |
113 | || fcode == BUILT_IN_STRCASECMP | |
114 | || fcode == BUILT_IN_STRCAT | |
115 | || fcode == BUILT_IN_STRCHR | |
116 | || fcode == BUILT_IN_STRCMP | |
117 | || fcode == BUILT_IN_STRCPY | |
118 | || fcode == BUILT_IN_STRDUP | |
119 | || fcode == BUILT_IN_STRLEN | |
120 | || fcode == BUILT_IN_STRNCASECMP | |
121 | || fcode == BUILT_IN_STRNCAT | |
122 | || fcode == BUILT_IN_STRNCMP | |
123 | || fcode == BUILT_IN_STRNCPY; | |
124 | } | |
6dc4a604 ML |
125 | |
126 | /* Return TRUE if we should instrument for use-after-scope sanity checking. */ | |
127 | ||
128 | static inline bool | |
129 | asan_sanitize_use_after_scope (void) | |
130 | { | |
131 | return (flag_sanitize_address_use_after_scope && asan_sanitize_stack_p ()); | |
132 | } | |
133 | ||
134 | static inline bool | |
135 | asan_no_sanitize_address_p (void) | |
136 | { | |
137 | return lookup_attribute ("no_sanitize_address", | |
138 | DECL_ATTRIBUTES (current_function_decl)); | |
139 | } | |
140 | ||
141 | /* Return true if DECL should be guarded on the stack. */ | |
142 | ||
143 | static inline bool | |
144 | asan_protect_stack_decl (tree decl) | |
145 | { | |
146 | return DECL_P (decl) | |
147 | && (!DECL_ARTIFICIAL (decl) | |
148 | || (asan_sanitize_use_after_scope () && TREE_ADDRESSABLE (decl))); | |
149 | } | |
150 | ||
37d6f666 | 151 | #endif /* TREE_ASAN */ |