1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
/*
* Copyright (c) 2017 The WebRTC project authors. All Rights Reserved.
*
* Use of this source code is governed by a BSD-style license
* that can be found in the LICENSE file in the root of the source
* tree. An additional intellectual property rights grant can be found
* in the file PATENTS. All contributing project authors may
* be found in the AUTHORS file in the root of the source tree.
*/
#include <stddef.h>
#include <stdio.h>
#include <random>
#include "absl/memory/memory.h"
#include "rtc_base/checks.h"
#include "rtc_base/nullsocketserver.h"
#include "rtc_base/thread.h"
#include "test/gtest.h"
namespace rtc {
namespace {
#if defined(MEMORY_SANITIZER)
void UseOfUninitializedValue() {
int* buf = new int[2];
std::random_device engine;
if (buf[engine() % 2]) { // Non-deterministic conditional.
printf("Externally visible action.");
}
delete[] buf;
}
TEST(SanitizersDeathTest, MemorySanitizer) {
EXPECT_DEATH(UseOfUninitializedValue(), "use-of-uninitialized-value");
}
#endif
#if defined(ADDRESS_SANITIZER)
void HeapUseAfterFree() {
char* buf = new char[2];
delete[] buf;
buf[0] = buf[1];
}
TEST(SanitizersDeathTest, AddressSanitizer) {
EXPECT_DEATH(HeapUseAfterFree(), "heap-use-after-free");
}
#endif
#if defined(UNDEFINED_SANITIZER)
// For ubsan:
void SignedIntegerOverflow() {
int32_t x = 1234567890;
x *= 2;
}
// For ubsan_vptr:
struct Base {
virtual void f() {}
virtual ~Base() {}
};
struct Derived : public Base {};
void InvalidVptr() {
Base b;
auto* d = static_cast<Derived*>(&b); // Bad downcast.
d->f(); // Virtual function call with object of wrong dynamic type.
}
TEST(SanitizersDeathTest, UndefinedSanitizer) {
EXPECT_DEATH(
{
SignedIntegerOverflow();
InvalidVptr();
},
"runtime error");
}
#endif
#if defined(THREAD_SANITIZER)
class IncrementThread : public Thread {
public:
explicit IncrementThread(int* value)
: Thread(absl::make_unique<NullSocketServer>()), value_(value) {}
void Run() override {
++*value_;
Thread::Current()->SleepMs(100);
}
// Un-protect Thread::Join for the test.
void Join() { Thread::Join(); }
private:
int* value_;
RTC_DISALLOW_COPY_AND_ASSIGN(IncrementThread);
};
void DataRace() {
int value = 0;
IncrementThread thread1(&value);
IncrementThread thread2(&value);
thread1.Start();
thread2.Start();
thread1.Join();
thread2.Join();
// TSan seems to mess with gtest's death detection.
// Fail intentionally, and rely on detecting the error message.
RTC_CHECK(false);
}
TEST(SanitizersDeathTest, ThreadSanitizer) {
EXPECT_DEATH(DataRace(), "data race");
}
#endif
} // namespace
} // namespace rtc
|
