asan_interceptors.cc revision 341b9e63f63a8eacf1b699d4c79edee55241ebe6
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 97bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonovstatic void DisableStrictInitOrderChecker() { 98bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov if (flags()->strict_init_order) 99bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov flags()->check_initialization_order = false; 100bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov} 101bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov 1021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} // namespace __asan 1031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 1041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany// ---------------------- Wrappers ---------------- {{{1 1051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryanyusing namespace __asan; // NOLINT 1061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 10782a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov#define COMMON_INTERCEPTOR_WRITE_RANGE(ctx, ptr, size) \ 10882a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov ASAN_WRITE_RANGE(ptr, size) 109996c4f2fa53cce8f9d7b517073f38569460de505Evgeniy Stepanov#define COMMON_INTERCEPTOR_READ_RANGE(ctx, ptr, size) ASAN_READ_RANGE(ptr, size) 1109d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_ENTER(ctx, func, ...) \ 1119d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1129d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov if (asan_init_is_running) return REAL(func)(__VA_ARGS__); \ 1139d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov ctx = 0; \ 1149d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov (void) ctx; \ 1159d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov ENSURE_ASAN_INITED(); \ 1169d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1179d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_ACQUIRE(ctx, fd) \ 1189d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1199d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1209d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_RELEASE(ctx, fd) \ 1219d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 1229d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov } while (false) 1239d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov#define COMMON_INTERCEPTOR_FD_SOCKET_ACCEPT(ctx, fd, newfd) \ 1249d1525ec52430d0b8ffd6d0893b7f5529105b321Evgeniy Stepanov do { \ 12582a9080eaff95d69b270cd863e9df63e3b4e59adEvgeniy Stepanov } while (false) 126996c4f2fa53cce8f9d7b517073f38569460de505Evgeniy Stepanov#define COMMON_INTERCEPTOR_SET_THREAD_NAME(ctx, name) SetThreadName(name) 1274f32c0beaa83ffbb84db23d2e6205bee57c39ce1Evgeniy Stepanov#include "sanitizer_common/sanitizer_common_interceptors.inc" 1288530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 129881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_PRE_READ_RANGE(p, s) ASAN_READ_RANGE(p, s) 130881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_PRE_WRITE_RANGE(p, s) ASAN_WRITE_RANGE(p, s) 131881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_POST_READ_RANGE(p, s) 132881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#define COMMON_SYSCALL_POST_WRITE_RANGE(p, s) 133881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov#include "sanitizer_common/sanitizer_common_syscalls.inc" 134881b677c189e65872fd315a75a0e56f077339189Evgeniy Stepanov 135600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovstatic thread_return_t THREAD_CALLING_CONV asan_thread_start(void *arg) { 1364803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany AsanThread *t = (AsanThread*)arg; 13789c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov SetCurrentThread(t); 138def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov return t->ThreadStart(GetTid()); 1394803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 1404803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 141fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_PTHREAD_CREATE 142def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonovextern "C" int pthread_attr_getdetachstate(void *attr, int *v); 143def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov 144b8ef925563f8dde5be837c4b0569082867c5f14cEvgeniy StepanovINTERCEPTOR(int, pthread_create, void *thread, 145b8ef925563f8dde5be837c4b0569082867c5f14cEvgeniy Stepanov void *attr, void *(*start_routine)(void*), void *arg) { 146bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov // Strict init-order checking in thread-hostile. 147bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov DisableStrictInitOrderChecker(); 148a30c8f9eac981dcf137e84226810b760e35c7be1Kostya Serebryany GET_STACK_TRACE_THREAD; 149def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov int detached = 0; 150def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov if (attr != 0) 151def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov pthread_attr_getdetachstate(attr, &detached); 152def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov 15389c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov u32 current_tid = GetCurrentTidOrInvalid(); 154def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov AsanThread *t = AsanThread::Create(start_routine, arg); 155def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov CreateThreadContextArgs args = { t, &stack }; 156def1be9b7ef4091ce465c0fbfb26cdb52128ade8Alexey Samsonov asanThreadRegistry().CreateThread(*(uptr*)t, detached, current_tid, &args); 15709672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(pthread_create)(thread, attr, asan_thread_start, t); 1584803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 159fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif // ASAN_INTERCEPT_PTHREAD_CREATE 1604803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 16134a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#if ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 162f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void*, signal, int signum, void *handler) { 163332bf3340435a85d39d6abefbf4d6a145e17da1cAlexey Samsonov if (!AsanInterceptsSignal(signum) || flags()->allow_user_segv_handler) { 164034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return REAL(signal)(signum, handler); 1654803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany } 1663f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany return 0; 1674803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 1684803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 169da13ba833b046553f50b54538e4828287ddbf5c0Alexey SamsonovINTERCEPTOR(int, sigaction, int signum, const struct sigaction *act, 170da13ba833b046553f50b54538e4828287ddbf5c0Alexey Samsonov struct sigaction *oldact) { 171332bf3340435a85d39d6abefbf4d6a145e17da1cAlexey Samsonov if (!AsanInterceptsSignal(signum) || flags()->allow_user_segv_handler) { 172034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return REAL(sigaction)(signum, act, oldact); 1734803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany } 174034bda5eab7cda14fac0bed3a39de4a3dbce3cffAlexander Potapenko return 0; 1754803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 176e1ba0009d5be18d513ffd29c1b6fccea1a3bffa0Evgeniy Stepanov#elif SANITIZER_POSIX 17734a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov// We need to have defined REAL(sigaction) on posix systems. 17834a3202a2c22816a6da66959e266a2d078ded37bAlexey SamsonovDEFINE_REAL(int, sigaction, int signum, const struct sigaction *act, 179fdde5a97a71b142297d7b2270c2a7f564a37dbaeAlexey Samsonov struct sigaction *oldact) 18034a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#endif // ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 1814803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 1820870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#if ASAN_INTERCEPT_SWAPCONTEXT 18357db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonovstatic void ClearShadowMemoryForContextStack(uptr stack, uptr ssize) { 18457db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov // Align to page size. 18557db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr PageSize = GetPageSizeCached(); 18657db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr bottom = stack & ~(PageSize - 1); 18757db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ssize += stack - bottom; 18857db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ssize = RoundUpTo(ssize, PageSize); 18957db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov static const uptr kMaxSaneContextStackSize = 1 << 22; // 4 Mb 190541cfb10f5daa17e48eb42365a74233cd551c545Kostya Serebryany if (ssize && ssize <= kMaxSaneContextStackSize) { 19157db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov PoisonShadow(bottom, ssize, 0); 19257db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov } 19357db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov} 19457db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov 1950870028410087e67a0049c76cb7c64f02c260d24Alexey SamsonovINTERCEPTOR(int, swapcontext, struct ucontext_t *oucp, 1960870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov struct ucontext_t *ucp) { 1970870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov static bool reported_warning = false; 1980870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov if (!reported_warning) { 1990870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov Report("WARNING: ASan doesn't fully support makecontext/swapcontext " 2000870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov "functions and may produce false positives in some cases!\n"); 2010870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov reported_warning = true; 2020870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov } 2030870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // Clear shadow memory for new context (it may share stack 2040870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // with current context). 20557db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov uptr stack, ssize; 20657db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ReadContextStack(ucp, &stack, &ssize); 20757db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ClearShadowMemoryForContextStack(stack, ssize); 2080870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov int res = REAL(swapcontext)(oucp, ucp); 2090870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // swapcontext technically does not return, but program may swap context to 2100870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // "oucp" later, that would look as if swapcontext() returned 0. 2110870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // We need to clear shadow for ucp once again, as it may be in arbitrary 2120870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov // state. 21357db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov ClearShadowMemoryForContextStack(stack, ssize); 2140870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov return res; 2150870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov} 21657db4bae483e7268dd7fc5bc42b0e55564014048Alexey Samsonov#endif // ASAN_INTERCEPT_SWAPCONTEXT 2170870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov 218f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, longjmp, void *env, int val) { 219f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 22009672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(longjmp)(env, val); 2214803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2224803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 223fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT__LONGJMP 224f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, _longjmp, void *env, int val) { 225f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 22609672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(_longjmp)(env, val); 2274803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 228fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 2294803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 230fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_SIGLONGJMP 231f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, siglongjmp, void *env, int val) { 232f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 23309672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(siglongjmp)(env, val); 2344803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 23507bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 2364803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 237fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT___CXA_THROW 238f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(void, __cxa_throw, void *a, void *b, void *c) { 23909672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov CHECK(REAL(__cxa_throw)); 240f54b1f9b73a6855d77ee270c282bd61407fa73a0Kostya Serebryany __asan_handle_no_return(); 24109672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov REAL(__cxa_throw)(a, b, c); 2424803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2434803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany#endif 2444803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 2454803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// intercept mlock and friends. 2464803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// Since asan maps 16T of RAM, mlock is completely unfriendly to asan. 2474803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany// All functions return 0 (success). 2484803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryanystatic void MlockIsUnsupported() { 2498d2438a7ebb01201c652f91d1e8043a1f3d03bffTimur Iskhodzhanov static bool printed = false; 2504803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany if (printed) return; 2514803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany printed = true; 2524803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany Printf("INFO: AddressSanitizer ignores mlock/mlockall/munlock/munlockall\n"); 2534803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2543389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 25500f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, mlock, const void *addr, uptr len) { 2564803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2574803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2584803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2593389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 26000f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, munlock, const void *addr, uptr len) { 2614803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2624803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2634803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2643389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 26500f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, mlockall, int flags) { 2664803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2674803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2684803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2693389b8ea81f51a28365a421b2646d594bac490f5Alexey Samsonov 27000f1c091441be5c2cacb99e21bd1965a5e418242Alexander PotapenkoINTERCEPTOR(int, munlockall, void) { 2714803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany MlockIsUnsupported(); 2724803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany return 0; 2734803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany} 2744803ab90ead451b55a5833f0fd38b10fd1fc83ebKostya Serebryany 27552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryanystatic inline int CharCmp(unsigned char c1, unsigned char c2) { 27652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany return (c1 == c2) ? 0 : (c1 < c2) ? -1 : 1; 27752fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany} 27852fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany 2793f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(int, memcmp, const void *a1, const void *a2, uptr size) { 28050f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memcmp(a1, a2, size); 28152fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany ENSURE_ASAN_INITED(); 2821b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany if (flags()->replace_intrin) { 2838bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko if (flags()->strict_memcmp) { 2848bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // Check the entire regions even if the first bytes of the buffers are 2858bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // different. 2868bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(a1, size); 2878bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(a2, size); 2888bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko // Fallthrough to REAL(memcmp) below. 2898bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } else { 2908bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko unsigned char c1 = 0, c2 = 0; 2918bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko const unsigned char *s1 = (const unsigned char*)a1; 2928bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko const unsigned char *s2 = (const unsigned char*)a2; 2938bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko uptr i; 2948bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko for (i = 0; i < size; i++) { 2958bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko c1 = s1[i]; 2968bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko c2 = s2[i]; 2978bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko if (c1 != c2) break; 2988bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } 2998bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(s1, Min(i + 1, size)); 3008bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko ASAN_READ_RANGE(s2, Min(i + 1, size)); 3018bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko return CharCmp(c1, c2); 3028bd5e74fa9d37a182088114918380e255e22e493Alexander Potapenko } 30352fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany } 3041b057b20db71ec6cc2bac460c8b2848f0889d47dKostya Serebryany return REAL(memcmp(a1, a2, size)); 30552fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany} 30652fb238ccc45781e4e1d097ae1ee748c898b5825Kostya Serebryany 3073f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memcpy, void *to, const void *from, uptr size) { 30850f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memcpy(to, from, size); 3091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // memcpy is called during __asan_init() from the internals 3101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // of printf(...). 3111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 31209672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memcpy)(to, from, size); 3131e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 314e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 315cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 316c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany if (to != from) { 317c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // We do not treat memcpy with to==from as a bug. 318c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany // See http://llvm.org/bugs/show_bug.cgi?id=11763. 319c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany CHECK_RANGES_OVERLAP("memcpy", to, size, from, size); 320c655cfa8dc0fdf5b521e565f6cbdbf7981fba1b2Kostya Serebryany } 321c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_READ_RANGE(from, size); 322c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_WRITE_RANGE(to, size); 3231e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 324f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // Interposing of resolver functions is broken on Mac OS 10.7 and 10.8. 325f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // See also http://code.google.com/p/address-sanitizer/issues/detail?id=116. 326f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko return internal_memcpy(to, from, size); 3271e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3281e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3293f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memmove, void *to, const void *from, uptr size) { 3303e8458ab54c7cbaec45e367b2da909c6f94b291cAlexander Potapenko if (!asan_inited) return internal_memmove(to, from, size); 331a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov if (asan_init_is_running) { 332a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov return REAL(memmove)(to, from, size); 333a1a25c1afe38e59ffb342c24bb5bb10d05679df7Alexey Samsonov } 334e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 335cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 336c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_READ_RANGE(from, size); 337c75d8483e27528349620ccf4e997a72029a7ea17Alexander Potapenko ASAN_WRITE_RANGE(to, size); 3381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 339f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // Interposing of resolver functions is broken on Mac OS 10.7 and 10.8. 340f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko // See also http://code.google.com/p/address-sanitizer/issues/detail?id=116. 341f1673e61768cb08d488a75584b61bfdf24ffdac1Alexander Potapenko return internal_memmove(to, from, size); 3421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3431e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 3443f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(void*, memset, void *block, int c, uptr size) { 34550f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_memset(block, c, size); 346ebb9702cff96192c6a6ea963037929ca7ed60eaeAlexander Potapenko // memset is called inside Printf. 347e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany if (asan_init_is_running) { 34809672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memset)(block, c, size); 349e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany } 350e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 351cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_intrin) { 3521e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(block, size); 3531e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 35409672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(memset)(block, c, size); 3551e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 357f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strchr, const char *str, int c) { 35850f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strchr(str, c); 3598d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko // strchr is called inside create_purgeable_zone() when MallocGuardEdges=1 is 3608d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko // used. 3618d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko if (asan_init_is_running) { 3628d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko return REAL(strchr)(str, c); 3638d6e3f7d011970e35dadf831964260bcf6a4d8a9Alexander Potapenko } 364e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 36509672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov char *result = REAL(strchr)(str, c); 366cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 3673f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr bytes_read = (result ? result - str : REAL(strlen)(str)) + 1; 3681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(str, bytes_read); 3691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 3701e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return result; 3711e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 3721e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 373fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_INDEX 374fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# if ASAN_USE_ALIAS_ATTRIBUTE_FOR_INDEX 3754b0c5f240e71be4f375627e57d0f1b89600918a7Evgeniy StepanovINTERCEPTOR(char*, index, const char *string, int c) 37672bbfd4f3a442afde281476bc6bd41b3b2152a4eAlexander Potapenko ALIAS(WRAPPER_NAME(strchr)); 377fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# else 37824e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov# if SANITIZER_MAC 37950a002ecad3f0a10c136496e5b6289bd3c71590eAlexander PotapenkoDECLARE_REAL(char*, index, const char *string, int c) 38050a002ecad3f0a10c136496e5b6289bd3c71590eAlexander PotapenkoOVERRIDE_FUNCTION(index, strchr); 38150a002ecad3f0a10c136496e5b6289bd3c71590eAlexander Potapenko# else 382fdde5a97a71b142297d7b2270c2a7f564a37dbaeAlexey SamsonovDEFINE_REAL(char*, index, const char *string, int c) 38350a002ecad3f0a10c136496e5b6289bd3c71590eAlexander Potapenko# endif 384fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov# endif 385fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif // ASAN_INTERCEPT_INDEX 386af0f01d77c2a495f023ffbf6cce85b33bbd2306dKostya Serebryany 38737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko// For both strcat() and strncat() we need to check the validity of |to| 38837b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko// argument irrespective of the |from| length. 389f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strcat, char *to, const char *from) { // NOLINT 3900985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany ENSURE_ASAN_INITED(); 391cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 3923f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr from_length = REAL(strlen)(from); 3930985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany ASAN_READ_RANGE(from, from_length + 1); 39437b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko uptr to_length = REAL(strlen)(to); 39537b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_READ_RANGE(to, to_length); 39637b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_WRITE_RANGE(to + to_length, from_length + 1); 39737b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // If the copying actually happens, the |from| string should not overlap 39837b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // with the resulting string starting at |to|, which has a length of 39937b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko // to_length + from_length + 1. 4000985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany if (from_length > 0) { 40137b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko CHECK_RANGES_OVERLAP("strcat", to, from_length + to_length + 1, 40237b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko from, from_length + 1); 4030985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany } 4040985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany } 40509672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcat)(to, from); // NOLINT 4060985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany} 4070985ca240812ac5519168a6aecbccf4c513ae243Kostya Serebryany 408c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey SamsonovINTERCEPTOR(char*, strncat, char *to, const char *from, uptr size) { 409c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ENSURE_ASAN_INITED(); 41037b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko if (flags()->replace_str) { 411c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonov uptr from_length = MaybeRealStrnlen(from, size); 41237b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko uptr copy_length = Min(size, from_length + 1); 41337b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko ASAN_READ_RANGE(from, copy_length); 414c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov uptr to_length = REAL(strlen)(to); 415c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_READ_RANGE(to, to_length); 416c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_WRITE_RANGE(to + to_length, from_length + 1); 417c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov if (from_length > 0) { 41837b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko CHECK_RANGES_OVERLAP("strncat", to, to_length + copy_length + 1, 41937b3fcd6fdec5740fe51fc1315c5d4d54313de98Alexander Potapenko from, copy_length); 420c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov } 421c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov } 422c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov return REAL(strncat)(to, from, size); 423c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov} 424c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov 425f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(int, strcmp, const char *s1, const char *s2) { 42650f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strcmp(s1, s2); 427fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov if (asan_init_is_running) { 428fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov return REAL(strcmp)(s1, s2); 4291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4308648e7734ff02a25706464e9e294bd217622bcaeKostya Serebryany ENSURE_ASAN_INITED(); 4311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany unsigned char c1, c2; 4323f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr i; 4331e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; ; i++) { 4341e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c1 = (unsigned char)s1[i]; 4351e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c2 = (unsigned char)s2[i]; 4361e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (c1 != c2 || c1 == '\0') break; 4371e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4381e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s1, i + 1); 4391e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s2, i + 1); 4401e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return CharCmp(c1, c2); 4411e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4421e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 443f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strcpy, char *to, const char *from) { // NOLINT 44424e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 445beda44f87166f91dbeef3d174d77395653bead4dAlexander Potapenko if (!asan_inited) return REAL(strcpy)(to, from); // NOLINT 4460ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 4471e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strcpy is called from malloc_default_purgeable_zone() 4481e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4491e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 45009672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcpy)(to, from); // NOLINT 4511e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 452e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 453cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4543f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr from_size = REAL(strlen)(from) + 1; 455c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany CHECK_RANGES_OVERLAP("strcpy", to, from_size, from, from_size); 4561e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(from, from_size); 4571e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(to, from_size); 4581e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 45909672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strcpy)(to, from); // NOLINT 4601e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4611e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 462fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRDUP 463f2598fc21bf651d23feab396a7581d48c01c3be5Alexey SamsonovINTERCEPTOR(char*, strdup, const char *s) { 46450f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strdup(s); 465e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 466d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov uptr length = REAL(strlen)(s); 467cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4681e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s, length + 1); 4691e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 470d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov GET_STACK_TRACE_MALLOC; 471d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov void *new_mem = asan_malloc(length + 1, &stack); 472d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov REAL(memcpy)(new_mem, s, length + 1); 473d530d892b4958a9ae54e57472d5d0a0bae1f6ad8Alexey Samsonov return reinterpret_cast<char*>(new_mem); 4741e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 475fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 4761e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4773f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(uptr, strlen, const char *s) { 47850f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strlen(s); 4791e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strlen is called from malloc_default_purgeable_zone() 4801e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4811e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 48209672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strlen)(s); 4831e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 484e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 4853f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr length = REAL(strlen)(s); 486cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 4871e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(s, length + 1); 4881e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4891e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return length; 4901e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 4911e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 4923f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(int, strncmp, const char *s1, const char *s2, uptr size) { 49350f2e30497ba2a69ee5721e7235a296d7c13a495Alexander Potapenko if (!asan_inited) return internal_strncmp(s1, s2, size); 4941e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // strncmp is called from malloc_default_purgeable_zone() 4951e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany // in __asan::ReplaceSystemAlloc() on Mac. 4961e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (asan_init_is_running) { 49709672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strncmp)(s1, s2, size); 4981e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 4998648e7734ff02a25706464e9e294bd217622bcaeKostya Serebryany ENSURE_ASAN_INITED(); 5001e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany unsigned char c1 = 0, c2 = 0; 5013f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr i; 5021e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany for (i = 0; i < size; i++) { 5031e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c1 = (unsigned char)s1[i]; 5041e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany c2 = (unsigned char)s2[i]; 5051e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany if (c1 != c2 || c1 == '\0') break; 5061e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5072d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s1, Min(i + 1, size)); 5082d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s2, Min(i + 1, size)); 5091e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return CharCmp(c1, c2); 5101e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5111e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 5123f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(char*, strncpy, char *to, const char *from, uptr size) { 513e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 514cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 515c925697df6626bb0ea27ea96539bf0580f8f3d3dAlexey Samsonov uptr from_size = Min(size, MaybeRealStrnlen(from, size) + 1); 516c5e72a3b7c60f1b2d9d9be3a07d397d5b5f872beKostya Serebryany CHECK_RANGES_OVERLAP("strncpy", to, from_size, from, from_size); 5171e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_READ_RANGE(from, from_size); 5181e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany ASAN_WRITE_RANGE(to, size); 5191e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 52009672caefb5694f1981a1712fdefa44840a95e67Alexey Samsonov return REAL(strncpy)(to, from, size); 5211e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 5221e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany 52381a7a4ab53c94e76c3b131d6f0ed82894640900bAlexey Samsonov#if ASAN_INTERCEPT_STRNLEN 5243f4c3875c42078e22c7e5356c5746fd18756d958Kostya SerebryanyINTERCEPTOR(uptr, strnlen, const char *s, uptr maxlen) { 525e130191a254064bfd1c8d373afdacf6d52979713Kostya Serebryany ENSURE_ASAN_INITED(); 5263f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany uptr length = REAL(strnlen)(s, maxlen); 527cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->replace_str) { 5282d8b3bdb112ebb8ed3f15ee41d4cebcd683b41b0Kostya Serebryany ASAN_READ_RANGE(s, Min(length + 1, maxlen)); 5291e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany } 5301e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany return length; 5311e172b4bdec57329bf904f063a29f99cddf2d85fKostya Serebryany} 53281a7a4ab53c94e76c3b131d6f0ed82894640900bAlexey Samsonov#endif // ASAN_INTERCEPT_STRNLEN 533547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany 5348f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovstatic inline bool IsValidStrtolBase(int base) { 5358f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov return (base == 0) || (2 <= base && base <= 36); 5368f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 5378f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 5388f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonovstatic inline void FixRealStrtolEndptr(const char *nptr, char **endptr) { 539a27bdf70ca24202dce21cf7c1a387aeaa400d889Kostya Serebryany CHECK(endptr); 5408f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (nptr == *endptr) { 5418f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // No digits were found at strtol call, we need to find out the last 5428f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // symbol accessed by strtoll on our own. 5438f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov // We get this symbol by skipping leading blanks and optional +/- sign. 5448f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov while (IsSpace(*nptr)) nptr++; 5458f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (*nptr == '+' || *nptr == '-') nptr++; 5468f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov *endptr = (char*)nptr; 5478f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 5488f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov CHECK(*endptr >= nptr); 54984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov} 55084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 551847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long, strtol, const char *nptr, // NOLINT 55284ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char **endptr, int base) { 55384ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov ENSURE_ASAN_INITED(); 554cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 555847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(strtol)(nptr, endptr, base); 55684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 55784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov char *real_endptr; 558847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long result = REAL(strtol)(nptr, &real_endptr, base); // NOLINT 5593f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany if (endptr != 0) { 56084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov *endptr = real_endptr; 56184ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 5628f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (IsValidStrtolBase(base)) { 5638f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 56484ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 56584ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov } 56684ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov return result; 56784ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov} 56884ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 569847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(int, atoi, const char *nptr) { 57024e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 5710ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko if (!asan_inited) return REAL(atoi)(nptr); 5720ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 573847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 574cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 575847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atoi)(nptr); 576847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 577847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 578847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // "man atoi" tells that behavior of atoi(nptr) is the same as 5793f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany // strtol(nptr, 0, 10), i.e. it sets errno to ERANGE if the 580847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // parsed integer can't be stored in *long* type (even if it's 581847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // different from int). So, we just imitate this behavior. 582847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov int result = REAL(strtol)(nptr, &real_endptr, 10); 583847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 584847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 585847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 586847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 587847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 588847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long, atol, const char *nptr) { // NOLINT 58924e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_MAC 5900ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko if (!asan_inited) return REAL(atol)(nptr); 5910ef531054fc25c11e372cbab1384f10954984219Alexander Potapenko#endif 592847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 593cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 594847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atol)(nptr); 595847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 596847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 597847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long result = REAL(strtol)(nptr, &real_endptr, 10); // NOLINT 598847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 599847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 600847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 601847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 602847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 603847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#if ASAN_INTERCEPT_ATOLL_AND_STRTOLL 604847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long long, strtoll, const char *nptr, // NOLINT 6058f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov char **endptr, int base) { 6068f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov ENSURE_ASAN_INITED(); 607cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 608847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(strtoll)(nptr, endptr, base); 6098f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 6108f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov char *real_endptr; 611847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long long result = REAL(strtoll)(nptr, &real_endptr, base); // NOLINT 6123f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany if (endptr != 0) { 6138f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov *endptr = real_endptr; 6148f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 615847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // If base has unsupported value, strtoll can exit with EINVAL 616847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // without reading any characters. So do additional checks only 617847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov // if base is valid. 6188f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov if (IsValidStrtolBase(base)) { 6198f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 6208f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 6218f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov } 6228f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov return result; 6238f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov} 6248f6a77f3f59ebc5f40f235e51836f468f30b9110Alexey Samsonov 625847f932ab0405757946433b81d3b2952b306b0bcAlexey SamsonovINTERCEPTOR(long long, atoll, const char *nptr) { // NOLINT 626847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ENSURE_ASAN_INITED(); 627cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!flags()->replace_str) { 628847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return REAL(atoll)(nptr); 629847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov } 630847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov char *real_endptr; 631847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov long long result = REAL(strtoll)(nptr, &real_endptr, 10); // NOLINT 632847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov FixRealStrtolEndptr(nptr, &real_endptr); 633847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov ASAN_READ_RANGE(nptr, (real_endptr - nptr) + 1); 634847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov return result; 635847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov} 636847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#endif // ASAN_INTERCEPT_ATOLL_AND_STRTOLL 637847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov 63846efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonovstatic void AtCxaAtexit(void *unused) { 63946efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov (void)unused; 64046efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov StopInitOrderChecking(); 64146efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov} 64246efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 64346efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#if ASAN_INTERCEPT___CXA_ATEXIT 64446efcb09dc16b91cb805abea52f3ff6081a63751Alexey SamsonovINTERCEPTOR(int, __cxa_atexit, void (*func)(void *), void *arg, 64546efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov void *dso_handle) { 64646efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov ENSURE_ASAN_INITED(); 64746efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov int res = REAL(__cxa_atexit)(func, arg, dso_handle); 64846efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov REAL(__cxa_atexit)(AtCxaAtexit, 0, 0); 64946efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov return res; 65046efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov} 65146efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#endif // ASAN_INTERCEPT___CXA_ATEXIT 65246efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 653fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#if !SANITIZER_MAC 654580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov#define ASAN_INTERCEPT_FUNC(name) do { \ 655cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (!INTERCEPT_FUNCTION(name) && flags()->verbosity > 0) \ 656580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov Report("AddressSanitizer: failed to intercept '" #name "'\n"); \ 657580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov } while (0) 658fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#else 659fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko// OS X interceptors don't need to be initialized with INTERCEPT_FUNCTION. 660fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#define ASAN_INTERCEPT_FUNC(name) 661fd55281122b4dedceb4e5a2fedc3946bfba9032bAlexander Potapenko#endif // SANITIZER_MAC 662580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov 66324e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_WINDOWS 664600972e3427173cc8904d741decd1af0ed5de9fdTimur IskhodzhanovINTERCEPTOR_WINAPI(DWORD, CreateThread, 6653f4c3875c42078e22c7e5356c5746fd18756d958Kostya Serebryany void* security, uptr stack_size, 666600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov DWORD (__stdcall *start_routine)(void*), void* arg, 667600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov DWORD flags, void* tid) { 668bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov // Strict init-order checking in thread-hostile. 669bdd0966deb04068ea94cf416c7fb46516013bd26Alexey Samsonov DisableStrictInitOrderChecker(); 670a30c8f9eac981dcf137e84226810b760e35c7be1Kostya Serebryany GET_STACK_TRACE_THREAD; 67189c1384464848c1ad041becf8b97936fa10de21bAlexey Samsonov u32 current_tid = GetCurrentTidOrInvalid(); 672dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov AsanThread *t = AsanThread::Create(start_routine, arg); 673dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov CreateThreadContextArgs args = { t, &stack }; 6748d2438a7ebb01201c652f91d1e8043a1f3d03bffTimur Iskhodzhanov bool detached = false; // FIXME: how can we determine it on Windows? 675dfe3f9691d4700981566a4b57e1e482f72783950Alexey Samsonov asanThreadRegistry().CreateThread(*(uptr*)t, detached, current_tid, &args); 676600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov return REAL(CreateThread)(security, stack_size, 677600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov asan_thread_start, t, flags, tid); 678600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} 679600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 680600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovnamespace __asan { 681600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanovvoid InitializeWindowsInterceptors() { 682580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(CreateThread); 683600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} 684600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 685600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov} // namespace __asan 686600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov#endif 687600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 688547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany// ---------------------- InitializeAsanInterceptors ---------------- {{{1 689547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryanynamespace __asan { 690547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryanyvoid InitializeAsanInterceptors() { 691fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany static bool was_called_once; 692fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany CHECK(was_called_once == false); 693fdbdab5ff8de4c23b58bb411ea2358a78e2d9b2fKostya Serebryany was_called_once = true; 6948530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany SANITIZER_COMMON_INTERCEPTORS_INIT; 6958530e2b953f0b34ecd267a6aba5f155d5c08c5c8Kostya Serebryany 69607bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept mem* functions. 697580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memcmp); 698580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memmove); 699580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memset); 70038dd4ed885e714c376466f6fe0d69f5f22d37014Alexey Samsonov if (PLATFORM_HAS_DIFFERENT_MEMCPY_AND_MEMMOVE) { 701580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(memcpy); 702573fb4b102dda9d231a8dbd0c01e67e84e9b0874Alexander Potapenko } 70307bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov 70407bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept str* functions. 705580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcat); // NOLINT 706580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strchr); 707580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcmp); 708580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strcpy); // NOLINT 709580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strlen); 710c1bdd5adca453f2fae238a4c53ade35ae60b85daAlexey Samsonov ASAN_INTERCEPT_FUNC(strncat); 711580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strncmp); 712580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strncpy); 713fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRDUP 714fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov ASAN_INTERCEPT_FUNC(strdup); 715fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 716fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_STRNLEN 717fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov ASAN_INTERCEPT_FUNC(strnlen); 718fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 71969563986ca570ce750111a82264d51ddbf4107baAlexander Potapenko#if ASAN_INTERCEPT_INDEX && ASAN_USE_ALIAS_ATTRIBUTE_FOR_INDEX 720580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(index); 72107bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 7225b29018cf422e7711fb760b733c32127397a43fcAlexey Samsonov 723580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atoi); 724580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atol); 725580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strtol); 726847f932ab0405757946433b81d3b2952b306b0bcAlexey Samsonov#if ASAN_INTERCEPT_ATOLL_AND_STRTOLL 727580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(atoll); 728580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(strtoll); 72984ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov#endif 73084ba324b94d22a69acc823e845f9718fd2984e44Alexey Samsonov 731f0c6de3d91ba5cdfbb17a630e823523c7d433160Alexander Potapenko#if ASAN_INTERCEPT_MLOCKX 73200f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko // Intercept mlock/munlock. 73300f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(mlock); 73400f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(munlock); 73500f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(mlockall); 73600f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko ASAN_INTERCEPT_FUNC(munlockall); 737f0c6de3d91ba5cdfbb17a630e823523c7d433160Alexander Potapenko#endif 73800f1c091441be5c2cacb99e21bd1965a5e418242Alexander Potapenko 73907bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intecept signal- and jump-related functions. 740580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(longjmp); 74134a3202a2c22816a6da66959e266a2d078ded37bAlexey Samsonov#if ASAN_INTERCEPT_SIGNAL_AND_SIGACTION 742580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(sigaction); 743580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(signal); 744919c24787a655597bdcf367e26c9dd1504e9f463Evgeniy Stepanov#endif 7450870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#if ASAN_INTERCEPT_SWAPCONTEXT 7460870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov ASAN_INTERCEPT_FUNC(swapcontext); 7470870028410087e67a0049c76cb7c64f02c260d24Alexey Samsonov#endif 748fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT__LONGJMP 749580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(_longjmp); 750fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 751fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_SIGLONGJMP 752580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(siglongjmp); 753fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#endif 754fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov 755fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov // Intercept exception handling functions. 756fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT___CXA_THROW 757fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov INTERCEPT_FUNCTION(__cxa_throw); 7583e81fe43798c096d1d3565596f0717b9919de4fbTimur Iskhodzhanov#endif 7593e81fe43798c096d1d3565596f0717b9919de4fbTimur Iskhodzhanov 76007bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov // Intercept threading-related functions 761fd2ae4fc7df0e5acd200f30d87bbc6b96830a989Alexey Samsonov#if ASAN_INTERCEPT_PTHREAD_CREATE 762580469d7e40e39319cb2d3750edac4bccca18105Dmitry Vyukov ASAN_INTERCEPT_FUNC(pthread_create); 76307bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov#endif 76407bb9f1e3600195119aec1aae1aa48a6ed2f5febTimur Iskhodzhanov 76546efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov // Intercept atexit function. 76646efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#if ASAN_INTERCEPT___CXA_ATEXIT 76746efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov ASAN_INTERCEPT_FUNC(__cxa_atexit); 76846efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov#endif 76946efcb09dc16b91cb805abea52f3ff6081a63751Alexey Samsonov 770600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov // Some Windows-specific interceptors. 77124e13723f8477d8c42ab8b2a7f4f69fc089842f1Evgeniy Stepanov#if SANITIZER_WINDOWS 772600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov InitializeWindowsInterceptors(); 773600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov#endif 774600972e3427173cc8904d741decd1af0ed5de9fdTimur Iskhodzhanov 775cb8c4dce691097718d5af41b36899b72ef4b1d84Alexey Samsonov if (flags()->verbosity > 0) { 7762962f26071ebef1d5fec52b5569e5ae7aae45c9bAlexander Potapenko Report("AddressSanitizer: libc interceptors initialized\n"); 777547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany } 778547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany} 779547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany 780547652c45fd7f7497dd214ec8ec6b6ee0f80359dKostya Serebryany} // namespace __asan 781