xref: /freebsd/contrib/llvm-project/compiler-rt/lib/asan/asan_suppressions.cpp (revision 1db9f3b21e39176dd5b67cf8ac378633b172463e)
1 //===-- asan_suppressions.cpp ---------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file is a part of AddressSanitizer, an address sanity checker.
10 //
11 // Issue suppression and suppression-related functions.
12 //===----------------------------------------------------------------------===//
13 
14 #include "asan_suppressions.h"
15 
16 #include "asan_stack.h"
17 #include "sanitizer_common/sanitizer_placement_new.h"
18 #include "sanitizer_common/sanitizer_suppressions.h"
19 #include "sanitizer_common/sanitizer_symbolizer.h"
20 
21 namespace __asan {
22 
23 ALIGNED(64) static char suppression_placeholder[sizeof(SuppressionContext)];
24 static SuppressionContext *suppression_ctx = nullptr;
25 static const char kInterceptorName[] = "interceptor_name";
26 static const char kInterceptorViaFunction[] = "interceptor_via_fun";
27 static const char kInterceptorViaLibrary[] = "interceptor_via_lib";
28 static const char kODRViolation[] = "odr_violation";
29 static const char *kSuppressionTypes[] = {
30     kInterceptorName, kInterceptorViaFunction, kInterceptorViaLibrary,
31     kODRViolation};
32 
33 SANITIZER_INTERFACE_WEAK_DEF(const char *, __asan_default_suppressions, void) {
34   return "";
35 }
36 
37 void InitializeSuppressions() {
38   CHECK_EQ(nullptr, suppression_ctx);
39   suppression_ctx = new (suppression_placeholder)
40       SuppressionContext(kSuppressionTypes, ARRAY_SIZE(kSuppressionTypes));
41   suppression_ctx->ParseFromFile(flags()->suppressions);
42   if (&__asan_default_suppressions)
43     suppression_ctx->Parse(__asan_default_suppressions());
44 }
45 
46 bool IsInterceptorSuppressed(const char *interceptor_name) {
47   CHECK(suppression_ctx);
48   Suppression *s;
49   // Match "interceptor_name" suppressions.
50   return suppression_ctx->Match(interceptor_name, kInterceptorName, &s);
51 }
52 
53 bool HaveStackTraceBasedSuppressions() {
54   CHECK(suppression_ctx);
55   return suppression_ctx->HasSuppressionType(kInterceptorViaFunction) ||
56          suppression_ctx->HasSuppressionType(kInterceptorViaLibrary);
57 }
58 
59 bool IsODRViolationSuppressed(const char *global_var_name) {
60   CHECK(suppression_ctx);
61   Suppression *s;
62   // Match "odr_violation" suppressions.
63   return suppression_ctx->Match(global_var_name, kODRViolation, &s);
64 }
65 
66 bool IsStackTraceSuppressed(const StackTrace *stack) {
67   if (!HaveStackTraceBasedSuppressions())
68     return false;
69 
70   CHECK(suppression_ctx);
71   Symbolizer *symbolizer = Symbolizer::GetOrInit();
72   Suppression *s;
73   for (uptr i = 0; i < stack->size && stack->trace[i]; i++) {
74     uptr addr = stack->trace[i];
75 
76     if (suppression_ctx->HasSuppressionType(kInterceptorViaLibrary)) {
77       // Match "interceptor_via_lib" suppressions.
78       if (const char *module_name = symbolizer->GetModuleNameForPc(addr))
79         if (suppression_ctx->Match(module_name, kInterceptorViaLibrary, &s))
80           return true;
81     }
82 
83     if (suppression_ctx->HasSuppressionType(kInterceptorViaFunction)) {
84       SymbolizedStackHolder symbolized_stack(symbolizer->SymbolizePC(addr));
85       const SymbolizedStack *frames = symbolized_stack.get();
86       CHECK(frames);
87       for (const SymbolizedStack *cur = frames; cur; cur = cur->next) {
88         const char *function_name = cur->info.function;
89         if (!function_name) {
90           continue;
91         }
92         // Match "interceptor_via_fun" suppressions.
93         if (suppression_ctx->Match(function_name, kInterceptorViaFunction,
94                                    &s)) {
95           return true;
96         }
97       }
98     }
99   }
100   return false;
101 }
102 
103 } // namespace __asan
104