1*7c3d14c8STreehugger Robot //===-- asan_poisoning.h ----------------------------------------*- C++ -*-===//
2*7c3d14c8STreehugger Robot //
3*7c3d14c8STreehugger Robot // The LLVM Compiler Infrastructure
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // This file is distributed under the University of Illinois Open Source
6*7c3d14c8STreehugger Robot // License. See LICENSE.TXT for details.
7*7c3d14c8STreehugger Robot //
8*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
9*7c3d14c8STreehugger Robot //
10*7c3d14c8STreehugger Robot // This file is a part of AddressSanitizer, an address sanity checker.
11*7c3d14c8STreehugger Robot //
12*7c3d14c8STreehugger Robot // Shadow memory poisoning by ASan RTL and by user application.
13*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
14*7c3d14c8STreehugger Robot
15*7c3d14c8STreehugger Robot #include "asan_interceptors.h"
16*7c3d14c8STreehugger Robot #include "asan_internal.h"
17*7c3d14c8STreehugger Robot #include "asan_mapping.h"
18*7c3d14c8STreehugger Robot #include "sanitizer_common/sanitizer_flags.h"
19*7c3d14c8STreehugger Robot
20*7c3d14c8STreehugger Robot namespace __asan {
21*7c3d14c8STreehugger Robot
22*7c3d14c8STreehugger Robot // Enable/disable memory poisoning.
23*7c3d14c8STreehugger Robot void SetCanPoisonMemory(bool value);
24*7c3d14c8STreehugger Robot bool CanPoisonMemory();
25*7c3d14c8STreehugger Robot
26*7c3d14c8STreehugger Robot // Poisons the shadow memory for "size" bytes starting from "addr".
27*7c3d14c8STreehugger Robot void PoisonShadow(uptr addr, uptr size, u8 value);
28*7c3d14c8STreehugger Robot
29*7c3d14c8STreehugger Robot // Poisons the shadow memory for "redzone_size" bytes starting from
30*7c3d14c8STreehugger Robot // "addr + size".
31*7c3d14c8STreehugger Robot void PoisonShadowPartialRightRedzone(uptr addr,
32*7c3d14c8STreehugger Robot uptr size,
33*7c3d14c8STreehugger Robot uptr redzone_size,
34*7c3d14c8STreehugger Robot u8 value);
35*7c3d14c8STreehugger Robot
36*7c3d14c8STreehugger Robot // Fast versions of PoisonShadow and PoisonShadowPartialRightRedzone that
37*7c3d14c8STreehugger Robot // assume that memory addresses are properly aligned. Use in
38*7c3d14c8STreehugger Robot // performance-critical code with care.
FastPoisonShadow(uptr aligned_beg,uptr aligned_size,u8 value)39*7c3d14c8STreehugger Robot ALWAYS_INLINE void FastPoisonShadow(uptr aligned_beg, uptr aligned_size,
40*7c3d14c8STreehugger Robot u8 value) {
41*7c3d14c8STreehugger Robot DCHECK(CanPoisonMemory());
42*7c3d14c8STreehugger Robot uptr shadow_beg = MEM_TO_SHADOW(aligned_beg);
43*7c3d14c8STreehugger Robot uptr shadow_end = MEM_TO_SHADOW(
44*7c3d14c8STreehugger Robot aligned_beg + aligned_size - SHADOW_GRANULARITY) + 1;
45*7c3d14c8STreehugger Robot // FIXME: Page states are different on Windows, so using the same interface
46*7c3d14c8STreehugger Robot // for mapping shadow and zeroing out pages doesn't "just work", so we should
47*7c3d14c8STreehugger Robot // probably provide higher-level interface for these operations.
48*7c3d14c8STreehugger Robot // For now, just memset on Windows.
49*7c3d14c8STreehugger Robot if (value ||
50*7c3d14c8STreehugger Robot SANITIZER_WINDOWS == 1 ||
51*7c3d14c8STreehugger Robot shadow_end - shadow_beg < common_flags()->clear_shadow_mmap_threshold) {
52*7c3d14c8STreehugger Robot REAL(memset)((void*)shadow_beg, value, shadow_end - shadow_beg);
53*7c3d14c8STreehugger Robot } else {
54*7c3d14c8STreehugger Robot uptr page_size = GetPageSizeCached();
55*7c3d14c8STreehugger Robot uptr page_beg = RoundUpTo(shadow_beg, page_size);
56*7c3d14c8STreehugger Robot uptr page_end = RoundDownTo(shadow_end, page_size);
57*7c3d14c8STreehugger Robot
58*7c3d14c8STreehugger Robot if (page_beg >= page_end) {
59*7c3d14c8STreehugger Robot REAL(memset)((void *)shadow_beg, 0, shadow_end - shadow_beg);
60*7c3d14c8STreehugger Robot } else {
61*7c3d14c8STreehugger Robot if (page_beg != shadow_beg) {
62*7c3d14c8STreehugger Robot REAL(memset)((void *)shadow_beg, 0, page_beg - shadow_beg);
63*7c3d14c8STreehugger Robot }
64*7c3d14c8STreehugger Robot if (page_end != shadow_end) {
65*7c3d14c8STreehugger Robot REAL(memset)((void *)page_end, 0, shadow_end - page_end);
66*7c3d14c8STreehugger Robot }
67*7c3d14c8STreehugger Robot ReserveShadowMemoryRange(page_beg, page_end - 1, nullptr);
68*7c3d14c8STreehugger Robot }
69*7c3d14c8STreehugger Robot }
70*7c3d14c8STreehugger Robot }
71*7c3d14c8STreehugger Robot
FastPoisonShadowPartialRightRedzone(uptr aligned_addr,uptr size,uptr redzone_size,u8 value)72*7c3d14c8STreehugger Robot ALWAYS_INLINE void FastPoisonShadowPartialRightRedzone(
73*7c3d14c8STreehugger Robot uptr aligned_addr, uptr size, uptr redzone_size, u8 value) {
74*7c3d14c8STreehugger Robot DCHECK(CanPoisonMemory());
75*7c3d14c8STreehugger Robot bool poison_partial = flags()->poison_partial;
76*7c3d14c8STreehugger Robot u8 *shadow = (u8*)MEM_TO_SHADOW(aligned_addr);
77*7c3d14c8STreehugger Robot for (uptr i = 0; i < redzone_size; i += SHADOW_GRANULARITY, shadow++) {
78*7c3d14c8STreehugger Robot if (i + SHADOW_GRANULARITY <= size) {
79*7c3d14c8STreehugger Robot *shadow = 0; // fully addressable
80*7c3d14c8STreehugger Robot } else if (i >= size) {
81*7c3d14c8STreehugger Robot *shadow = (SHADOW_GRANULARITY == 128) ? 0xff : value; // unaddressable
82*7c3d14c8STreehugger Robot } else {
83*7c3d14c8STreehugger Robot // first size-i bytes are addressable
84*7c3d14c8STreehugger Robot *shadow = poison_partial ? static_cast<u8>(size - i) : 0;
85*7c3d14c8STreehugger Robot }
86*7c3d14c8STreehugger Robot }
87*7c3d14c8STreehugger Robot }
88*7c3d14c8STreehugger Robot
89*7c3d14c8STreehugger Robot // Calls __sanitizer::FlushUnneededShadowMemory() on
90*7c3d14c8STreehugger Robot // [MemToShadow(p), MemToShadow(p+size)] with proper rounding.
91*7c3d14c8STreehugger Robot void FlushUnneededASanShadowMemory(uptr p, uptr size);
92*7c3d14c8STreehugger Robot
93*7c3d14c8STreehugger Robot } // namespace __asan
94