asan_interceptors.cc revision ae4e6fd0300b13812a02a779619b1a451478cdd1
1e5f5895bda30f374b0b51412fd4d837fa59aed66Alexey Samsonov//===-- asan_interceptors.cc ----------------------------------------------===// 21e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 31e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// The LLVM Compiler Infrastructure 41e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 51e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This file is distributed under the University of Illinois Open Source 61e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// License. See LICENSE.TXT for details. 71e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 81e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//===----------------------------------------------------------------------===// 91e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// This file is a part of AddressSanitizer, an address sanity checker. 111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// 12d47189c1b63a4de755d7ec071f8d56c8d01cc667Kostya Serebryany// Intercept various libc functions. 131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany//===----------------------------------------------------------------------===// 141e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_interceptors.h" 151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 161e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_allocator.h" 1705bf9a51dfeac0f84f6dbc2dacf987249c0fc612Alexander Potapenko#include "asan_intercepted_functions.h" 181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_internal.h" 191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_mapping.h" 207e8434940a1fe7dce531d4c458ccd714da48f609Alexey Samsonov#include "asan_poisoning.h" 21487fee7f6f7497906a00d7d2fe2c75e6d5d4feb1Alexey Samsonov#include "asan_report.h" 221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_stack.h" 231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany#include "asan_stats.h" 245b29018cf422e7711fb760b733c32127397a43fcAlexey Samsonov#include "interception/interception.h" 25c0d78c1de1f2607c874020d27b72cf989c5ce092Alexey Samsonov#include "sanitizer_common/sanitizer_libc.h" 26c0d78c1de1f2607c874020d27b72cf989c5ce092Alexey Samsonov 271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanynamespace __asan { 281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 29a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany// Return true if we can quickly decide that the region is unpoisoned. 30a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryanystatic inline bool QuickCheckForUnpoisonedRegion(uptr beg, uptr size) { 31a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany if (size == 0) return true; 32a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany if (size <= 32) 33a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany return !AddressIsPoisoned(beg) && 34a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany !AddressIsPoisoned(beg + size - 1) && 35a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany !AddressIsPoisoned(beg + size / 2); 36a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany return false; 37a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany} 38a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany 391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// We implement ACCESS_MEMORY_RANGE, ASAN_READ_RANGE, 401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// and ASAN_WRITE_RANGE as macro instead of function so 411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// that no extra frames are created, and stack trace contains 421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// relevant information only. 43eb2809311c94b73c269ccef8d68ae368642e5754Kostya Serebryany// We check all shadow bytes. 44589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov#define ACCESS_MEMORY_RANGE(offset, size, isWrite) do { \ 45589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov uptr __offset = (uptr)(offset); \ 46589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov uptr __size = (uptr)(size); \ 471b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany uptr __bad = 0; \ 48a84805f1ccb2b7d4b6c0ba384bd3541fa4eaf808Kostya Serebryany if (!QuickCheckForUnpoisonedRegion(__offset, __size) && \ 491b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany (__bad = __asan_region_is_poisoned(__offset, __size))) { \ 50589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov GET_CURRENT_PC_BP_SP; \ 511b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany __asan_report_error(pc, bp, sp, __bad, isWrite, __size); \ 52589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov } \ 53589dcdaa520de1033a0f6112c9b67ab9eb7931afEvgeniy Stepanov } while (0) 541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 55eb2809311c94b73c269ccef8d68ae368642e5754Kostya Serebryany#define ASAN_READ_RANGE(offset, size) ACCESS_MEMORY_RANGE(offset, size, false) 56341b9e63f63a8eacf1b699d4c79edee55241ebe6Evgeniy Stepanov#define ASAN_WRITE_RANGE(offset, size) ACCESS_MEMORY_RANGE(offset, size, true) 571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Behavior of functions like "memcpy" or "strcpy" is undefined 591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// if memory intervals overlap. We report error in this case. 601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// Macro is used to avoid creation of new frames. 613f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryanystatic inline bool RangesOverlap(const char *offset1, uptr length1, 623f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany const char *offset2, uptr length2) { 630985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany return !((offset1 + length1 <= offset2) || (offset2 + length2 <= offset1)); 641e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 65c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany#define CHECK_RANGES_OVERLAP(name, _offset1, length1, _offset2, length2) do { \ 661e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *offset1 = (const char*)_offset1; \ 671e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany const char *offset2 = (const char*)_offset2; \ 680985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany if (RangesOverlap(offset1, length1, offset2, length2)) { \ 69a30c8f9eac981dcf137e84226810b760e35c7be1Kostya Serebryany GET_STACK_TRACE_FATAL_HERE; \ 70487fee7f6f7497906a00d7d2fe2c75e6d5d4feb1Alexey Samsonov ReportStringFunctionMemoryRangesOverlap(name, offset1, length1, \ 71487fee7f6f7497906a00d7d2fe2c75e6d5d4feb1Alexey Samsonov offset2, length2, &stack); \ 721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } \ 73e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany} while (0) 741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 75e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany#define ENSURE_ASAN_INITED() do { \ 76e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany CHECK(!asan_init_is_running); \ 77e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany if (!asan_inited) { \ 78e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany __asan_init(); \ 79e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany } \ 80e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany} while (0) 811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 82c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonovstatic inline uptr MaybeRealStrnlen(const char *s, uptr maxlen) { 8381a7a4ab53c94e76c3b131d6f0ed82894640900bAlexey Samsonov#if ASAN_INTERCEPT_STRNLEN 843f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany if (REAL(strnlen) != 0) { 8509672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strnlen)(s, maxlen); 861e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 87f2598fc21bf651d23feab396a7581d48c01c3be5Alexey Samsonov#endif 88c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonov return internal_strnlen(s, maxlen); 89a4ccf878e464d29a4a18756c5c4f626dc530a12eKostya Serebryany} 901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 91c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryanyvoid SetThreadName(const char *name) { 9289c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov AsanThread *t = GetCurrentThread(); 93c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany if (t) 94def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov asanThreadRegistry().SetThreadName(t->tid(), name); 95c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany} 96c20b321d49f0eff60f1394d56e623d8ca94f24d7Kostya Serebryany 971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} // namespace __asan 981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 991e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ---------------------- Wrappers ---------------- {{{1 1001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyusing namespace __asan; // NOLINT 1011e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10282a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov#define COMMON_INTERCEPTOR_WRITE_RANGE(ctx, ptr, size) \ 10382a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov ASAN_WRITE_RANGE(ptr, size) 104996c4f2fa53cce8f9d7b517073f38569460de505Evgeniy Stepanov#define COMMON_INTERCEPTOR_READ_RANGE(ctx, ptr, size) ASAN_READ_RANGE(ptr, size) 1059d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_ENTER(ctx, func, ...) \ 1069d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1079d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov if (asan_init_is_running) return REAL(func)(__VA_ARGS__); \ 1089d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov ctx = 0; \ 1099d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov (void) ctx; \ 1109d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov ENSURE_ASAN_INITED(); \ 1119d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1129d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_ACQUIRE(ctx, fd) \ 1139d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1149d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1159d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_RELEASE(ctx, fd) \ 1169d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1179d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1189d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_SOCKET_ACCEPT(ctx, fd, newfd) \ 1199d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 12082a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov } while (false) 121996c4f2fa53cce8f9d7b517073f38569460de505Evgeniy Stepanov#define COMMON_INTERCEPTOR_SET_THREAD_NAME(ctx, name) SetThreadName(name) 1224f32c0beaa83ffbb84db23d2e6205bee57c39ce1Evgeniy Stepanov#include "sanitizer_common/sanitizer_common_interceptors.inc" 1238530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 124881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_PRE_READ_RANGE(p, s) ASAN_READ_RANGE(p, s) 125881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_PRE_WRITE_RANGE(p, s) ASAN_WRITE_RANGE(p, s) 126ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov#define COMMON_SYSCALL_POST_READ_RANGE(p, s) \ 127ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov do { \ 128ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov } while (false) 129ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov#define COMMON_SYSCALL_POST_WRITE_RANGE(p, s) \ 130ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov do { \ 131ae4e6fd0300b13812a02a779619b1a451478cdd1Evgeniy Stepanov } while (false) 132881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#include "sanitizer_common/sanitizer_common_syscalls.inc" 133881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov 134600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovstatic thread_return_t THREAD_CALLING_CONV asan_thread_start(void *arg) { 1354803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany AsanThread *t = (AsanThread*)arg; 13689c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov SetCurrentThread(t); 137def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov return t->ThreadStart(GetTid()); 1384803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 1394803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 140fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_PTHREAD_CREATE 141def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonovextern "C" int pthread_attr_getdetachstate(void *attr, int *v); 142def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov 143b8ef925563f8dde5be837c4b0569082867c5f14cEvgeniy StepanovINTERCEPTOR(int, pthread_create, void *thread, 144b8ef925563f8dde5be837c4b0569082867c5f14cEvgeniy Stepanov void *attr, void *(*start_routine)(void*), void *arg) { 145c6ac98d7fcc81768b2ef7ddc785c27e3fc1bdef6Sergey Matveev EnsureMainThreadIDIsCorrect(); 146bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov // Strict init-order checking in thread-hostile. 1479465cbdbe73590746b57916f46ea1aa4bf3dd13dAlexey Samsonov if (flags()->strict_init_order) 1489465cbdbe73590746b57916f46ea1aa4bf3dd13dAlexey Samsonov StopInitOrderChecking(); 149a30c8f9eac981dcf137e84226810b760e35c7be1Kostya Serebryany GET_STACK_TRACE_THREAD; 150def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov int detached = 0; 151def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov if (attr != 0) 152def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov pthread_attr_getdetachstate(attr, &detached); 153def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov 15489c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov u32 current_tid = GetCurrentTidOrInvalid(); 155def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov AsanThread *t = AsanThread::Create(start_routine, arg); 156def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov CreateThreadContextArgs args = { t, &stack }; 157def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov asanThreadRegistry().CreateThread(*(uptr*)t, detached, current_tid, &args); 15809672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(pthread_create)(thread, attr, asan_thread_start, t); 1594803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 160fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif // ASAN_INTERCEPT_PTHREAD_CREATE 1614803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 16234a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#if ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 163f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void*, signal, int signum, void *handler) { 164332bf3340435a85d39d6abefbf4d6a145e17da1cAlexey Samsonov if (!AsanInterceptsSignal(signum) || flags()->allow_user_segv_handler) { 165034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return REAL(signal)(signum, handler); 1664803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany } 1673f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany return 0; 1684803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 1694803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 170da13ba833b046553f50b54538e4828287ddbf5c0Alexey SamsonovINTERCEPTOR(int, sigaction, int signum, const struct sigaction *act, 171da13ba833b046553f50b54538e4828287ddbf5c0Alexey Samsonov struct sigaction *oldact) { 172332bf3340435a85d39d6abefbf4d6a145e17da1cAlexey Samsonov if (!AsanInterceptsSignal(signum) || flags()->allow_user_segv_handler) { 173034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return REAL(sigaction)(signum, act, oldact); 1744803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany } 175034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return 0; 1764803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 177e1ba0009d5be18d513ffd29c1b6fccea1a3bffa0Evgeniy Stepanov#elif SANITIZER_POSIX 17834a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov// We need to have defined REAL(sigaction) on posix systems. 17934a3202a2c22816a6da66959e266a2d078ded37bAlexey SamsonovDEFINE_REAL(int, sigaction, int signum, const struct sigaction *act, 180fdde5a97a71b142297d7b2270c2a7f564a37dbaeAlexey Samsonov struct sigaction *oldact) 18134a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#endif // ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 1824803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 1830870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#if ASAN_INTERCEPT_SWAPCONTEXT 18457db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonovstatic void ClearShadowMemoryForContextStack(uptr stack, uptr ssize) { 18557db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov // Align to page size. 18657db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr PageSize = GetPageSizeCached(); 18757db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr bottom = stack & ~(PageSize - 1); 18857db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ssize += stack - bottom; 18957db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ssize = RoundUpTo(ssize, PageSize); 19057db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov static const uptr kMaxSaneContextStackSize = 1 << 22; // 4 Mb 191541cfb10f5daa17e48eb42365a74233cd551c545Kostya Serebryany if (ssize && ssize <= kMaxSaneContextStackSize) { 19257db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov PoisonShadow(bottom, ssize, 0); 19357db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov } 19457db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov} 19557db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov 1960870028410087e67a0049c76cb7c64f02c260d24Alexey SamsonovINTERCEPTOR(int, swapcontext, struct ucontext_t *oucp, 1970870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov struct ucontext_t *ucp) { 1980870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov static bool reported_warning = false; 1990870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov if (!reported_warning) { 2000870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov Report("WARNING: ASan doesn't fully support makecontext/swapcontext " 2010870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov "functions and may produce false positives in some cases!\n"); 2020870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov reported_warning = true; 2030870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov } 2040870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // Clear shadow memory for new context (it may share stack 2050870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // with current context). 20657db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr stack, ssize; 20757db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ReadContextStack(ucp, &stack, &ssize); 20857db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ClearShadowMemoryForContextStack(stack, ssize); 2090870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov int res = REAL(swapcontext)(oucp, ucp); 2100870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // swapcontext technically does not return, but program may swap context to 2110870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // "oucp" later, that would look as if swapcontext() returned 0. 2120870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // We need to clear shadow for ucp once again, as it may be in arbitrary 2130870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // state. 21457db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ClearShadowMemoryForContextStack(stack, ssize); 2150870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov return res; 2160870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov} 21757db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov#endif // ASAN_INTERCEPT_SWAPCONTEXT 2180870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov 219f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, longjmp, void *env, int val) { 220f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 22109672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(longjmp)(env, val); 2224803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2234803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 224fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT__LONGJMP 225f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, _longjmp, void *env, int val) { 226f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 22709672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(_longjmp)(env, val); 2284803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 229fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 2304803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 231fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_SIGLONGJMP 232f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, siglongjmp, void *env, int val) { 233f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 23409672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(siglongjmp)(env, val); 2354803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 23607bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 2374803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 238fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT___CXA_THROW 239f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, __cxa_throw, void *a, void *b, void *c) { 24009672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov CHECK(REAL(__cxa_throw)); 241f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 24209672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(__cxa_throw)(a, b, c); 2434803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2444803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany#endif 2454803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 2464803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// intercept mlock and friends. 2474803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// Since asan maps 16T of RAM, mlock is completely unfriendly to asan. 2484803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// All functions return 0 (success). 2494803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryanystatic void MlockIsUnsupported() { 2508d2438a7ebb01201c652f91d1e8043a1f3d03bffTimur Iskhodzhanov static bool printed = false; 2514803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany if (printed) return; 2524803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany printed = true; 253c8c312adee610a1f9284f567a35562f6f8dc15e0Alexey Samsonov if (flags()->verbosity > 0) 254c8c312adee610a1f9284f567a35562f6f8dc15e0Alexey Samsonov Printf("INFO: AddressSanitizer ignores mlock/mlockall/munlock/munlockall\n"); 2554803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2563389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 25700f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, mlock, const void *addr, uptr len) { 2584803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2594803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2604803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2613389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 26200f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, munlock, const void *addr, uptr len) { 2634803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2644803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2654803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2663389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 26700f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, mlockall, int flags) { 2684803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2694803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2704803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2713389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 27200f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, munlockall, void) { 2734803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2744803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2754803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2764803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 27752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryanystatic inline int CharCmp(unsigned char c1, unsigned char c2) { 27852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany return (c1 == c2) ? 0 : (c1 < c2) ? -1 : 1; 27952fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany} 28052fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany 2813f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(int, memcmp, const void *a1, const void *a2, uptr size) { 28250f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memcmp(a1, a2, size); 28352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany ENSURE_ASAN_INITED(); 2841b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany if (flags()->replace_intrin) { 2858bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko if (flags()->strict_memcmp) { 2868bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // Check the entire regions even if the first bytes of the buffers are 2878bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // different. 2888bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(a1, size); 2898bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(a2, size); 2908bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // Fallthrough to REAL(memcmp) below. 2918bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } else { 2928bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko unsigned char c1 = 0, c2 = 0; 2938bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko const unsigned char *s1 = (const unsigned char*)a1; 2948bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko const unsigned char *s2 = (const unsigned char*)a2; 2958bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko uptr i; 2968bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko for (i = 0; i < size; i++) { 2978bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko c1 = s1[i]; 2988bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko c2 = s2[i]; 2998bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko if (c1 != c2) break; 3008bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } 3018bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(s1, Min(i + 1, size)); 3028bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(s2, Min(i + 1, size)); 3038bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko return CharCmp(c1, c2); 3048bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } 30552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany } 3061b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany return REAL(memcmp(a1, a2, size)); 30752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany} 30852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany 3093f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memcpy, void *to, const void *from, uptr size) { 31050f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memcpy(to, from, size); 3111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // memcpy is called during __asan_init() from the internals 3121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // of printf(...). 3131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 31409672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memcpy)(to, from, size); 3151e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 316e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 317cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 318c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany if (to != from) { 319c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // We do not treat memcpy with to==from as a bug. 320c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // See http://llvm.org/bugs/show_bug.cgi?id=11763. 321c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany CHECK_RANGES_OVERLAP("memcpy", to, size, from, size); 322c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany } 323c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_READ_RANGE(from, size); 324c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_WRITE_RANGE(to, size); 3251e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 326f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // Interposing of resolver functions is broken on Mac OS 10.7 and 10.8. 327f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // See also http://code.google.com/p/address-sanitizer/issues/detail?id=116. 328f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko return internal_memcpy(to, from, size); 3291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3313f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memmove, void *to, const void *from, uptr size) { 3323e8458ab54c7cbaec45e367b2da909c6f94b291cAlexander Potapenko if (!asan_inited) return internal_memmove(to, from, size); 333a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov if (asan_init_is_running) { 334a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov return REAL(memmove)(to, from, size); 335a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov } 336e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 337cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 338c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_READ_RANGE(from, size); 339c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_WRITE_RANGE(to, size); 3401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 341f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // Interposing of resolver functions is broken on Mac OS 10.7 and 10.8. 342f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // See also http://code.google.com/p/address-sanitizer/issues/detail?id=116. 343f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko return internal_memmove(to, from, size); 3441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3451e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3463f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memset, void *block, int c, uptr size) { 34750f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memset(block, c, size); 348ebb9702cff96192c6a6ea963037929ca7ed60eaeAlexander Potapenko // memset is called inside Printf. 349e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany if (asan_init_is_running) { 35009672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memset)(block, c, size); 351e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany } 352e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 353cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 3541e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(block, size); 3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 35609672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memset)(block, c, size); 3571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 359f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strchr, const char *str, int c) { 36050f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strchr(str, c); 3618d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko // strchr is called inside create_purgeable_zone() when MallocGuardEdges=1 is 3628d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko // used. 3638d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko if (asan_init_is_running) { 3648d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko return REAL(strchr)(str, c); 3658d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko } 366e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 36709672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov char *result = REAL(strchr)(str, c); 368cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 3693f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr bytes_read = (result ? result - str : REAL(strlen)(str)) + 1; 3701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(str, bytes_read); 3711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return result; 3731e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 375fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_INDEX 376fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# if ASAN_USE_ALIAS_ATTRIBUTE_FOR_INDEX 3774b0c5f240e71be4f375627e57d0f1b89600918a7Evgeniy StepanovINTERCEPTOR(char*, index, const char *string, int c) 37872bbfd4f3a442afde281476bc6bd41b3b2152a4eAlexander Potapenko ALIAS(WRAPPER_NAME(strchr)); 379fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# else 38024e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov# if SANITIZER_MAC 38150a002ecad3f0a10c136496e5b6289bd3c71590eAlexander PotapenkoDECLARE_REAL(char*, index, const char *string, int c) 38250a002ecad3f0a10c136496e5b6289bd3c71590eAlexander PotapenkoOVERRIDE_FUNCTION(index, strchr); 38350a002ecad3f0a10c136496e5b6289bd3c71590eAlexander Potapenko# else 384fdde5a97a71b142297d7b2270c2a7f564a37dbaeAlexey SamsonovDEFINE_REAL(char*, index, const char *string, int c) 38550a002ecad3f0a10c136496e5b6289bd3c71590eAlexander Potapenko# endif 386fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# endif 387fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif // ASAN_INTERCEPT_INDEX 388af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 38937b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko// For both strcat() and strncat() we need to check the validity of |to| 39037b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko// argument irrespective of the |from| length. 391f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strcat, char *to, const char *from) { // NOLINT 3920985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany ENSURE_ASAN_INITED(); 393cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 3943f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr from_length = REAL(strlen)(from); 3950985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany ASAN_READ_RANGE(from, from_length + 1); 39637b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko uptr to_length = REAL(strlen)(to); 39737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_READ_RANGE(to, to_length); 39837b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_WRITE_RANGE(to + to_length, from_length + 1); 39937b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // If the copying actually happens, the |from| string should not overlap 40037b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // with the resulting string starting at |to|, which has a length of 40137b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // to_length + from_length + 1. 4020985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany if (from_length > 0) { 40337b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko CHECK_RANGES_OVERLAP("strcat", to, from_length + to_length + 1, 40437b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko from, from_length + 1); 4050985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany } 4060985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany } 40709672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcat)(to, from); // NOLINT 4080985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany} 4090985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany 410c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey SamsonovINTERCEPTOR(char*, strncat, char *to, const char *from, uptr size) { 411c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ENSURE_ASAN_INITED(); 41237b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko if (flags()->replace_str) { 413c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonov uptr from_length = MaybeRealStrnlen(from, size); 41437b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko uptr copy_length = Min(size, from_length + 1); 41537b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_READ_RANGE(from, copy_length); 416c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov uptr to_length = REAL(strlen)(to); 417c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_READ_RANGE(to, to_length); 418c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_WRITE_RANGE(to + to_length, from_length + 1); 419c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov if (from_length > 0) { 42037b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko CHECK_RANGES_OVERLAP("strncat", to, to_length + copy_length + 1, 42137b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko from, copy_length); 422c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov } 423c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov } 424c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov return REAL(strncat)(to, from, size); 425c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov} 426c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 427f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(int, strcmp, const char *s1, const char *s2) { 42850f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strcmp(s1, s2); 429fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov if (asan_init_is_running) { 430fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov return REAL(strcmp)(s1, s2); 4311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4328648e7734ff02a25706464e9e294bd217622bcaeKostya Serebryany ENSURE_ASAN_INITED(); 4331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany unsigned char c1, c2; 4343f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr i; 4351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; ; i++) { 4361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c1 = (unsigned char)s1[i]; 4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c2 = (unsigned char)s2[i]; 4381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (c1 != c2 || c1 == '\0') break; 4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s1, i + 1); 4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s2, i + 1); 4421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return CharCmp(c1, c2); 4431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4441e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 445f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strcpy, char *to, const char *from) { // NOLINT 44624e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 447beda44f87166f91dbeef3d174d77395653bead4dAlexander Potapenko if (!asan_inited) return REAL(strcpy)(to, from); // NOLINT 4480ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 4491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strcpy is called from malloc_default_purgeable_zone() 4501e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 45209672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcpy)(to, from); // NOLINT 4531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 454e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 455cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4563f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr from_size = REAL(strlen)(from) + 1; 457c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany CHECK_RANGES_OVERLAP("strcpy", to, from_size, from, from_size); 4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(from, from_size); 4591e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(to, from_size); 4601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 46109672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcpy)(to, from); // NOLINT 4621e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4631e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 464fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRDUP 465f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strdup, const char *s) { 46650f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strdup(s); 467e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 468d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov uptr length = REAL(strlen)(s); 469cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s, length + 1); 4711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 472d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov GET_STACK_TRACE_MALLOC; 473d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov void *new_mem = asan_malloc(length + 1, &stack); 474d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov REAL(memcpy)(new_mem, s, length + 1); 475d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov return reinterpret_cast<char*>(new_mem); 4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 477fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 4781e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4793f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(uptr, strlen, const char *s) { 48050f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strlen(s); 4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strlen is called from malloc_default_purgeable_zone() 4821e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 48409672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strlen)(s); 4851e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 486e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 4873f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr length = REAL(strlen)(s); 488cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s, length + 1); 4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return length; 4921e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4931e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4943f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(int, strncmp, const char *s1, const char *s2, uptr size) { 49550f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strncmp(s1, s2, size); 4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strncmp is called from malloc_default_purgeable_zone() 4971e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 49909672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strncmp)(s1, s2, size); 5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5018648e7734ff02a25706464e9e294bd217622bcaeKostya Serebryany ENSURE_ASAN_INITED(); 5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany unsigned char c1 = 0, c2 = 0; 5033f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr i; 5041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < size; i++) { 5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c1 = (unsigned char)s1[i]; 5061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c2 = (unsigned char)s2[i]; 5071e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (c1 != c2 || c1 == '\0') break; 5081e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5092d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s1, Min(i + 1, size)); 5102d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s2, Min(i + 1, size)); 5111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return CharCmp(c1, c2); 5121e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5143f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(char*, strncpy, char *to, const char *from, uptr size) { 515e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 516cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 517c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonov uptr from_size = Min(size, MaybeRealStrnlen(from, size) + 1); 518c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany CHECK_RANGES_OVERLAP("strncpy", to, from_size, from, from_size); 5191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(from, from_size); 5201e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(to, size); 5211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 52209672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strncpy)(to, from, size); 5231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5241e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 52581a7a4ab53c94e76c3b131d6f0ed82894640900bAlexey Samsonov#if ASAN_INTERCEPT_STRNLEN 5263f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(uptr, strnlen, const char *s, uptr maxlen) { 527e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 5283f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr length = REAL(strnlen)(s, maxlen); 529cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 5302d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s, Min(length + 1, maxlen)); 5311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5321e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return length; 5331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 53481a7a4ab53c94e76c3b131d6f0ed82894640900bAlexey Samsonov#endif // ASAN_INTERCEPT_STRNLEN 535547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany 5368f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovstatic inline bool IsValidStrtolBase(int base) { 5378f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov return (base == 0) || (2 <= base && base <= 36); 5388f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 5398f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 5408f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovstatic inline void FixRealStrtolEndptr(const char *nptr, char **endptr) { 541a27bdf70ca24202dce21cf7c1a387aeaa400d889Kostya Serebryany CHECK(endptr); 5428f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (nptr == *endptr) { 5438f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // No digits were found at strtol call, we need to find out the last 5448f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // symbol accessed by strtoll on our own. 5458f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // We get this symbol by skipping leading blanks and optional +/- sign. 5468f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov while (IsSpace(*nptr)) nptr++; 5478f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (*nptr == '+' || *nptr == '-') nptr++; 5488f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov *endptr = (char*)nptr; 5498f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 5508f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov CHECK(*endptr >= nptr); 55184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov} 55284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 553847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long, strtol, const char *nptr, // NOLINT 55484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char **endptr, int base) { 55584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov ENSURE_ASAN_INITED(); 556cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 557847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(strtol)(nptr, endptr, base); 55884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 55984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char *real_endptr; 560847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long result = REAL(strtol)(nptr, &real_endptr, base); // NOLINT 5613f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany if (endptr != 0) { 56284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov *endptr = real_endptr; 56384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 5648f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (IsValidStrtolBase(base)) { 5658f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 56684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 56784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 56884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov return result; 56984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov} 57084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 571847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(int, atoi, const char *nptr) { 57224e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 5730ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko if (!asan_inited) return REAL(atoi)(nptr); 5740ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 575847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 576cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 577847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atoi)(nptr); 578847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 579847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 580847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // "man atoi" tells that behavior of atoi(nptr) is the same as 5813f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany // strtol(nptr, 0, 10), i.e. it sets errno to ERANGE if the 582847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // parsed integer can't be stored in *long* type (even if it's 583847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // different from int). So, we just imitate this behavior. 584847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov int result = REAL(strtol)(nptr, &real_endptr, 10); 585847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 586847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 587847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 588847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 589847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 590847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long, atol, const char *nptr) { // NOLINT 59124e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 5920ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko if (!asan_inited) return REAL(atol)(nptr); 5930ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 594847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 595cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 596847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atol)(nptr); 597847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 598847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 599847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long result = REAL(strtol)(nptr, &real_endptr, 10); // NOLINT 600847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 601847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 602847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 603847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 604847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 605847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#if ASAN_INTERCEPT_ATOLL_AND_STRTOLL 606847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long long, strtoll, const char *nptr, // NOLINT 6078f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov char **endptr, int base) { 6088f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov ENSURE_ASAN_INITED(); 609cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 610847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(strtoll)(nptr, endptr, base); 6118f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 6128f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov char *real_endptr; 613847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long long result = REAL(strtoll)(nptr, &real_endptr, base); // NOLINT 6143f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany if (endptr != 0) { 6158f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov *endptr = real_endptr; 6168f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 617847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // If base has unsupported value, strtoll can exit with EINVAL 618847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // without reading any characters. So do additional checks only 619847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // if base is valid. 6208f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (IsValidStrtolBase(base)) { 6218f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 6228f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 6238f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 6248f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov return result; 6258f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 6268f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 627847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long long, atoll, const char *nptr) { // NOLINT 628847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 629cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 630847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atoll)(nptr); 631847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 632847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 633847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long long result = REAL(strtoll)(nptr, &real_endptr, 10); // NOLINT 634847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 635847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 636847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 637847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 638847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#endif // ASAN_INTERCEPT_ATOLL_AND_STRTOLL 639847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 64046efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonovstatic void AtCxaAtexit(void *unused) { 64146efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov (void)unused; 64246efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov StopInitOrderChecking(); 64346efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov} 64446efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 64546efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#if ASAN_INTERCEPT___CXA_ATEXIT 64646efcb09dc16b91cb805abea52f3ff6081a63751Alexey SamsonovINTERCEPTOR(int, __cxa_atexit, void (*func)(void *), void *arg, 64746efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov void *dso_handle) { 64846efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov ENSURE_ASAN_INITED(); 64946efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov int res = REAL(__cxa_atexit)(func, arg, dso_handle); 65046efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov REAL(__cxa_atexit)(AtCxaAtexit, 0, 0); 65146efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov return res; 65246efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov} 65346efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#endif // ASAN_INTERCEPT___CXA_ATEXIT 65446efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 655fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#if !SANITIZER_MAC 656580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov#define ASAN_INTERCEPT_FUNC(name) do { \ 657cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!INTERCEPT_FUNCTION(name) && flags()->verbosity > 0) \ 658580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov Report("AddressSanitizer: failed to intercept '" #name "'\n"); \ 659580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov } while (0) 660fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#else 661fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko// OS X interceptors don't need to be initialized with INTERCEPT_FUNCTION. 662fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#define ASAN_INTERCEPT_FUNC(name) 663fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#endif // SANITIZER_MAC 664580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov 66524e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_WINDOWS 666600972e3427173cc8904d741decd1af0ed5de9fdTimur IskhodzhanovINTERCEPTOR_WINAPI(DWORD, CreateThread, 6673f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany void* security, uptr stack_size, 668600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov DWORD (__stdcall *start_routine)(void*), void* arg, 669b9a928497168e177791f10f5042ff6f5e4e8a881Alexey Samsonov DWORD thr_flags, void* tid) { 670bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov // Strict init-order checking in thread-hostile. 6719465cbdbe73590746b57916f46ea1aa4bf3dd13dAlexey Samsonov if (flags()->strict_init_order) 6729465cbdbe73590746b57916f46ea1aa4bf3dd13dAlexey Samsonov StopInitOrderChecking(); 673a30c8f9eac981dcf137e84226810b760e35c7be1Kostya Serebryany GET_STACK_TRACE_THREAD; 67489c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov u32 current_tid = GetCurrentTidOrInvalid(); 675dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov AsanThread *t = AsanThread::Create(start_routine, arg); 676dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov CreateThreadContextArgs args = { t, &stack }; 6778d2438a7ebb01201c652f91d1e8043a1f3d03bffTimur Iskhodzhanov bool detached = false; // FIXME: how can we determine it on Windows? 678dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov asanThreadRegistry().CreateThread(*(uptr*)t, detached, current_tid, &args); 679600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov return REAL(CreateThread)(security, stack_size, 680b9a928497168e177791f10f5042ff6f5e4e8a881Alexey Samsonov asan_thread_start, t, thr_flags, tid); 681600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} 682600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 683600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovnamespace __asan { 684600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovvoid InitializeWindowsInterceptors() { 685580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(CreateThread); 686600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} 687600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 688600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} // namespace __asan 689600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov#endif 690600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 691547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany// ---------------------- InitializeAsanInterceptors ---------------- {{{1 692547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryanynamespace __asan { 693547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryanyvoid InitializeAsanInterceptors() { 694fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany static bool was_called_once; 695fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany CHECK(was_called_once == false); 696fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany was_called_once = true; 6978530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany SANITIZER_COMMON_INTERCEPTORS_INIT; 6988530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 69907bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept mem* functions. 700580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memcmp); 701580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memmove); 702580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memset); 70338dd4ed885e714c376466f6fe0d69f5f22d37014Alexey Samsonov if (PLATFORM_HAS_DIFFERENT_MEMCPY_AND_MEMMOVE) { 704580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memcpy); 705573fb4b102dda9d231a8dbd0c01e67e84e9b0874Alexander Potapenko } 70607bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov 70707bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept str* functions. 708580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcat); // NOLINT 709580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strchr); 710580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcmp); 711580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcpy); // NOLINT 712580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strlen); 713c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_INTERCEPT_FUNC(strncat); 714580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strncmp); 715580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strncpy); 716fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRDUP 717fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov ASAN_INTERCEPT_FUNC(strdup); 718fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 719fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRNLEN 720fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov ASAN_INTERCEPT_FUNC(strnlen); 721fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 72269563986ca570ce750111a82264d51ddbf4107baAlexander Potapenko#if ASAN_INTERCEPT_INDEX && ASAN_USE_ALIAS_ATTRIBUTE_FOR_INDEX 723580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(index); 72407bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 7255b29018cf422e7711fb760b733c32127397a43fcAlexey Samsonov 726580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atoi); 727580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atol); 728580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strtol); 729847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#if ASAN_INTERCEPT_ATOLL_AND_STRTOLL 730580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atoll); 731580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strtoll); 73284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov#endif 73384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 734f0c6de3d91ba5cdfbb17a630e823523c7d433160Alexander Potapenko#if ASAN_INTERCEPT_MLOCKX 73500f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko // Intercept mlock/munlock. 73600f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(mlock); 73700f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(munlock); 73800f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(mlockall); 73900f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(munlockall); 740f0c6de3d91ba5cdfbb17a630e823523c7d433160Alexander Potapenko#endif 74100f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko 74207bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intecept signal- and jump-related functions. 743580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(longjmp); 74434a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#if ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 745580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(sigaction); 746580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(signal); 747919c24787a655597bdcf367e26c9dd1504e9f463Evgeniy Stepanov#endif 7480870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#if ASAN_INTERCEPT_SWAPCONTEXT 7490870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov ASAN_INTERCEPT_FUNC(swapcontext); 7500870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#endif 751fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT__LONGJMP 752580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(_longjmp); 753fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 754fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_SIGLONGJMP 755580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(siglongjmp); 756fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 757fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov 758fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov // Intercept exception handling functions. 759fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT___CXA_THROW 760fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov INTERCEPT_FUNCTION(__cxa_throw); 7613e81fe43798c096d1d3565596f0717b9919de4fbTimur Iskhodzhanov#endif 7623e81fe43798c096d1d3565596f0717b9919de4fbTimur Iskhodzhanov 76307bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept threading-related functions 764fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_PTHREAD_CREATE 765580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(pthread_create); 76607bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 76707bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov 76846efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov // Intercept atexit function. 76946efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#if ASAN_INTERCEPT___CXA_ATEXIT 77046efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov ASAN_INTERCEPT_FUNC(__cxa_atexit); 77146efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#endif 77246efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 773600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov // Some Windows-specific interceptors. 77424e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_WINDOWS 775600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov InitializeWindowsInterceptors(); 776600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov#endif 777600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 778cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->verbosity > 0) { 7792962f26071ebef1d5fec52b5569e5ae7aae45c9bAlexander Potapenko Report("AddressSanitizer: libc interceptors initialized\n"); 780547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany } 781547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany} 782547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany 783547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany} // namespace __asan 784