blob: 4207c003e63365c67d9836c910c6f20bebcdb300 [file] [log] [blame]
Kostya Serebryany1e172b42011-11-30 01:07:02 +00001//===-- asan_internal.h -----------------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is a part of AddressSanitizer, an address sanity checker.
11//
12// ASan-private header which defines various general utilities.
13//===----------------------------------------------------------------------===//
14#ifndef ASAN_INTERNAL_H
15#define ASAN_INTERNAL_H
16
Kostya Serebryanyd6567c52011-12-01 21:40:52 +000017#if !defined(__linux__) && !defined(__APPLE__)
18# error "This operating system is not supported by AddressSanitizer"
19#endif
20
Kostya Serebryany1e172b42011-11-30 01:07:02 +000021#include <stdint.h> // for __WORDSIZE
22#include <stdlib.h> // for size_t
23#include <unistd.h> // for _exit
24
Daniel Dunbar46166332011-12-02 01:32:27 +000025// If __WORDSIZE was undefined by the platform, define it in terms of the
26// compiler built-in __LP64__.
27#ifndef __WORDSIZE
28#if __LP64__
29#define __WORDSIZE 64
30#else
31#define __WORDSIZE 32
32#endif
33#endif
34
Kostya Serebryany1e172b42011-11-30 01:07:02 +000035#ifdef ANDROID
36#include <sys/atomics.h>
37#endif
38
Kostya Serebryany13ebae62011-12-27 21:57:12 +000039#if defined(__has_feature) && __has_feature(address_sanitizer)
Kostya Serebryany1e172b42011-11-30 01:07:02 +000040# error "The AddressSanitizer run-time should not be"
41 " instrumented by AddressSanitizer"
42#endif
43
Kostya Serebryanyc6f22232011-12-08 18:30:42 +000044// Build-time configuration options.
45
46// If set, sysinfo/sysinfo.h will be used to iterate over /proc/maps.
47#ifndef ASAN_USE_SYSINFO
Kostya Serebryanydf499b42012-01-05 00:44:33 +000048#ifdef __linux__
49# define ASAN_USE_SYSINFO 0
50#else
Kostya Serebryanyc6f22232011-12-08 18:30:42 +000051# define ASAN_USE_SYSINFO 1
52#endif
Kostya Serebryanydf499b42012-01-05 00:44:33 +000053#endif
Kostya Serebryanyc6f22232011-12-08 18:30:42 +000054
55// If set, asan will install its own SEGV signal handler.
56#ifndef ASAN_NEEDS_SEGV
57# define ASAN_NEEDS_SEGV 1
58#endif
59
60// If set, asan will intercept C++ exception api call(s).
61#ifndef ASAN_HAS_EXCEPTIONS
62# define ASAN_HAS_EXCEPTIONS 1
63#endif
64
65// If set, asan uses the values of SHADOW_SCALE and SHADOW_OFFSET
66// provided by the instrumented objects. Otherwise constants are used.
67#ifndef ASAN_FLEXIBLE_MAPPING_AND_OFFSET
68# define ASAN_FLEXIBLE_MAPPING_AND_OFFSET 0
69#endif
70
Kostya Serebryany1e172b42011-11-30 01:07:02 +000071// All internal functions in asan reside inside the __asan namespace
72// to avoid namespace collisions with the user programs.
73// Seperate namespace also makes it simpler to distinguish the asan run-time
74// functions from the instrumented user code in a profile.
75namespace __asan {
76
77class AsanThread;
78struct AsanStackTrace;
79
Kostya Serebryany218a9b72011-11-30 18:50:23 +000080// asan_rtl.cc
Kostya Serebryany1e172b42011-11-30 01:07:02 +000081void CheckFailed(const char *cond, const char *file, int line);
82void ShowStatsAndAbort();
83
Kostya Serebryany218a9b72011-11-30 18:50:23 +000084// asan_globals.cc
Kostya Serebryany1e172b42011-11-30 01:07:02 +000085bool DescribeAddrIfGlobal(uintptr_t addr);
86
Kostya Serebryany218a9b72011-11-30 18:50:23 +000087// asan_malloc_linux.cc / asan_malloc_mac.cc
Kostya Serebryany1e172b42011-11-30 01:07:02 +000088void ReplaceSystemMalloc();
89
Kostya Serebryanyde496f42011-12-28 22:58:01 +000090void OutOfMemoryMessageAndDie(const char *mem_type, size_t size);
91
Kostya Serebryany218a9b72011-11-30 18:50:23 +000092// asan_linux.cc / asan_mac.cc
Kostya Serebryany1e172b42011-11-30 01:07:02 +000093void *AsanDoesNotSupportStaticLinkage();
Kostya Serebryanyde496f42011-12-28 22:58:01 +000094int AsanOpenReadonly(const char* filename);
Kostya Serebryanyde496f42011-12-28 22:58:01 +000095
Kostya Serebryanya874fe52011-12-28 23:28:54 +000096void *AsanMmapFixedNoReserve(uintptr_t fixed_addr, size_t size);
97void *AsanMmapFixedReserve(uintptr_t fixed_addr, size_t size);
98void *AsanMprotect(uintptr_t fixed_addr, size_t size);
Kostya Serebryanyde496f42011-12-28 22:58:01 +000099void *AsanMmapSomewhereOrDie(size_t size, const char *where);
100void AsanUnmapOrDie(void *ptr, size_t size);
101
102ssize_t AsanRead(int fd, void *buf, size_t count);
103ssize_t AsanWrite(int fd, const void *buf, size_t count);
104int AsanClose(int fd);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000105
Kostya Serebryanydf499b42012-01-05 00:44:33 +0000106// Opens the file 'file_name" and reads up to 'max_len' bytes.
107// The resulting buffer is mmaped and stored in '*buff'.
108// The size of the mmaped region is stored in '*buff_size',
109// Returns the number of read bytes or -1 if file can not be opened.
110ssize_t ReadFileToBuffer(const char *file_name, char **buff,
111 size_t *buff_size, size_t max_len);
112
Kostya Serebryany218a9b72011-11-30 18:50:23 +0000113// asan_printf.cc
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000114void RawWrite(const char *buffer);
115int SNPrint(char *buffer, size_t length, const char *format, ...);
116void Printf(const char *format, ...);
Kostya Serebryanydf499b42012-01-05 00:44:33 +0000117int SScanf(const char *str, const char *format, ...);
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000118void Report(const char *format, ...);
119
Kostya Serebryany2d8b3bd2011-12-02 18:42:04 +0000120// Don't use std::min and std::max, to minimize dependency on libstdc++.
121template<class T> T Min(T a, T b) { return a < b ? a : b; }
122template<class T> T Max(T a, T b) { return a > b ? a : b; }
123
Kostya Serebryany218a9b72011-11-30 18:50:23 +0000124// asan_poisoning.cc
125// Poisons the shadow memory for "size" bytes starting from "addr".
126void PoisonShadow(uintptr_t addr, size_t size, uint8_t value);
127// Poisons the shadow memory for "redzone_size" bytes starting from
128// "addr + size".
129void PoisonShadowPartialRightRedzone(uintptr_t addr,
130 uintptr_t size,
131 uintptr_t redzone_size,
132 uint8_t value);
133
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000134extern size_t FLAG_quarantine_size;
135extern int FLAG_demangle;
136extern bool FLAG_symbolize;
137extern int FLAG_v;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000138extern size_t FLAG_redzone;
139extern int FLAG_debug;
140extern bool FLAG_poison_shadow;
141extern int FLAG_report_globals;
142extern size_t FLAG_malloc_context_size;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000143extern bool FLAG_replace_str;
144extern bool FLAG_replace_intrin;
145extern bool FLAG_replace_cfallocator;
146extern bool FLAG_fast_unwind;
147extern bool FLAG_use_fake_stack;
148extern size_t FLAG_max_malloc_fill_size;
149extern int FLAG_exitcode;
150extern bool FLAG_allow_user_poisoning;
151
152extern int asan_inited;
153// Used to avoid infinite recursion in __asan_init().
154extern bool asan_init_is_running;
155
156enum LinkerInitialized { LINKER_INITIALIZED = 0 };
157
158#ifndef ASAN_DIE
159#define ASAN_DIE _exit(FLAG_exitcode)
160#endif // ASAN_DIE
161
162#define CHECK(cond) do { if (!(cond)) { \
163 CheckFailed(#cond, __FILE__, __LINE__); \
164}}while(0)
165
166#define RAW_CHECK_MSG(expr, msg) do { \
167 if (!(expr)) { \
168 RawWrite(msg); \
169 ASAN_DIE; \
170 } \
171} while (0)
172
173#define RAW_CHECK(expr) RAW_CHECK_MSG(expr, #expr)
174
175#define UNIMPLEMENTED() CHECK("unimplemented" && 0)
176
177#define ASAN_ARRAY_SIZE(a) (sizeof(a)/sizeof((a)[0]))
178
179const size_t kWordSize = __WORDSIZE / 8;
180const size_t kWordSizeInBits = 8 * kWordSize;
181const size_t kPageSizeBits = 12;
182const size_t kPageSize = 1UL << kPageSizeBits;
183
184#define GET_CALLER_PC() (uintptr_t)__builtin_return_address(0)
185#define GET_CURRENT_FRAME() (uintptr_t)__builtin_frame_address(0)
186
187#define GET_BP_PC_SP \
188 uintptr_t bp = GET_CURRENT_FRAME(); \
189 uintptr_t pc = GET_CALLER_PC(); \
190 uintptr_t local_stack; \
191 uintptr_t sp = (uintptr_t)&local_stack;
192
193// These magic values are written to shadow for better error reporting.
194const int kAsanHeapLeftRedzoneMagic = 0xfa;
195const int kAsanHeapRightRedzoneMagic = 0xfb;
196const int kAsanHeapFreeMagic = 0xfd;
197const int kAsanStackLeftRedzoneMagic = 0xf1;
198const int kAsanStackMidRedzoneMagic = 0xf2;
199const int kAsanStackRightRedzoneMagic = 0xf3;
200const int kAsanStackPartialRedzoneMagic = 0xf4;
201const int kAsanStackAfterReturnMagic = 0xf5;
202const int kAsanUserPoisonedMemoryMagic = 0xf7;
203const int kAsanGlobalRedzoneMagic = 0xf9;
Kostya Serebryany6b30e2c2011-12-15 17:41:30 +0000204const int kAsanInternalHeapMagic = 0xfe;
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000205
206static const uintptr_t kCurrentStackFrameMagic = 0x41B58AB3;
207static const uintptr_t kRetiredStackFrameMagic = 0x45E0360E;
208
Kostya Serebryanyde496f42011-12-28 22:58:01 +0000209// --------------------------- Bit twiddling ------- {{{1
210inline bool IsPowerOfTwo(size_t x) {
211 return (x & (x - 1)) == 0;
212}
213
214inline size_t RoundUpTo(size_t size, size_t boundary) {
215 CHECK(IsPowerOfTwo(boundary));
216 return (size + boundary - 1) & ~(boundary - 1);
217}
218
Kostya Serebryanyb89567c2011-12-02 21:02:20 +0000219// -------------------------- LowLevelAllocator ----- {{{1
220// A simple low-level memory allocator for internal use.
221class LowLevelAllocator {
222 public:
223 explicit LowLevelAllocator(LinkerInitialized) {}
224 // 'size' must be a power of two.
225 // Requires an external lock.
226 void *Allocate(size_t size);
227 private:
228 char *allocated_end_;
229 char *allocated_current_;
230};
231
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000232// -------------------------- Atomic ---------------- {{{1
233static inline int AtomicInc(int *a) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000234#ifdef ANDROID
235 return __atomic_inc(a) + 1;
236#else
237 return __sync_add_and_fetch(a, 1);
238#endif
239}
240
241static inline int AtomicDec(int *a) {
Kostya Serebryany1e172b42011-11-30 01:07:02 +0000242#ifdef ANDROID
243 return __atomic_dec(a) - 1;
244#else
245 return __sync_add_and_fetch(a, -1);
246#endif
247}
248
249} // namespace __asan
250
251#endif // ASAN_INTERNAL_H