* c-c++-common/ubsan/sanitize-recover-7.c (dg-options): Add -w.
[official-gcc.git] / libsanitizer / include / sanitizer / common_interface_defs.h
blobfd38c55a235b083af723445a611127b32e3828a3
1 //===-- sanitizer/common_interface_defs.h -----------------------*- C++ -*-===//
2 //
3 // This file is distributed under the University of Illinois Open Source
4 // License. See LICENSE.TXT for details.
5 //
6 //===----------------------------------------------------------------------===//
7 //
8 // Common part of the public sanitizer interface.
9 //===----------------------------------------------------------------------===//
11 #ifndef SANITIZER_COMMON_INTERFACE_DEFS_H
12 #define SANITIZER_COMMON_INTERFACE_DEFS_H
14 #include <stddef.h>
15 #include <stdint.h>
17 // GCC does not understand __has_feature.
18 #if !defined(__has_feature)
19 # define __has_feature(x) 0
20 #endif
22 #ifdef __cplusplus
23 extern "C" {
24 #endif
25 // Arguments for __sanitizer_sandbox_on_notify() below.
26 typedef struct {
27 // Enable sandbox support in sanitizer coverage.
28 int coverage_sandboxed;
29 // File descriptor to write coverage data to. If -1 is passed, a file will
30 // be pre-opened by __sanitizer_sandobx_on_notify(). This field has no
31 // effect if coverage_sandboxed == 0.
32 intptr_t coverage_fd;
33 // If non-zero, split the coverage data into well-formed blocks. This is
34 // useful when coverage_fd is a socket descriptor. Each block will contain
35 // a header, allowing data from multiple processes to be sent over the same
36 // socket.
37 unsigned int coverage_max_block_size;
38 } __sanitizer_sandbox_arguments;
40 // Tell the tools to write their reports to "path.<pid>" instead of stderr.
41 void __sanitizer_set_report_path(const char *path);
42 // Tell the tools to write their reports to the provided file descriptor
43 // (casted to void *).
44 void __sanitizer_set_report_fd(void *fd);
46 // Notify the tools that the sandbox is going to be turned on. The reserved
47 // parameter will be used in the future to hold a structure with functions
48 // that the tools may call to bypass the sandbox.
49 void __sanitizer_sandbox_on_notify(__sanitizer_sandbox_arguments *args);
51 // This function is called by the tool when it has just finished reporting
52 // an error. 'error_summary' is a one-line string that summarizes
53 // the error message. This function can be overridden by the client.
54 void __sanitizer_report_error_summary(const char *error_summary);
56 // Some of the sanitizers (e.g. asan/tsan) may miss bugs that happen
57 // in unaligned loads/stores. In order to find such bugs reliably one needs
58 // to replace plain unaligned loads/stores with these calls.
59 uint16_t __sanitizer_unaligned_load16(const void *p);
60 uint32_t __sanitizer_unaligned_load32(const void *p);
61 uint64_t __sanitizer_unaligned_load64(const void *p);
62 void __sanitizer_unaligned_store16(void *p, uint16_t x);
63 void __sanitizer_unaligned_store32(void *p, uint32_t x);
64 void __sanitizer_unaligned_store64(void *p, uint64_t x);
66 // Annotate the current state of a contiguous container, such as
67 // std::vector, std::string or similar.
68 // A contiguous container is a container that keeps all of its elements
69 // in a contiguous region of memory. The container owns the region of memory
70 // [beg, end); the memory [beg, mid) is used to store the current elements
71 // and the memory [mid, end) is reserved for future elements;
72 // beg <= mid <= end. For example, in "std::vector<> v"
73 // beg = &v[0];
74 // end = beg + v.capacity() * sizeof(v[0]);
75 // mid = beg + v.size() * sizeof(v[0]);
77 // This annotation tells the Sanitizer tool about the current state of the
78 // container so that the tool can report errors when memory from [mid, end)
79 // is accessed. Insert this annotation into methods like push_back/pop_back.
80 // Supply the old and the new values of mid (old_mid/new_mid).
81 // In the initial state mid == end and so should be the final
82 // state when the container is destroyed or when it reallocates the storage.
84 // Use with caution and don't use for anything other than vector-like classes.
86 // For AddressSanitizer, 'beg' should be 8-aligned and 'end' should
87 // be either 8-aligned or it should point to the end of a separate heap-,
88 // stack-, or global- allocated buffer. I.e. the following will not work:
89 // int64_t x[2]; // 16 bytes, 8-aligned.
90 // char *beg = (char *)&x[0];
91 // char *end = beg + 12; // Not 8 aligned, not the end of the buffer.
92 // This however will work fine:
93 // int32_t x[3]; // 12 bytes, but 8-aligned under AddressSanitizer.
94 // char *beg = (char*)&x[0];
95 // char *end = beg + 12; // Not 8-aligned, but is the end of the buffer.
96 void __sanitizer_annotate_contiguous_container(const void *beg,
97 const void *end,
98 const void *old_mid,
99 const void *new_mid);
100 // Returns true if the contiguous container [beg, end) is properly poisoned
101 // (e.g. with __sanitizer_annotate_contiguous_container), i.e. if
102 // - [beg, mid) is addressable,
103 // - [mid, end) is unaddressable.
104 // Full verification requires O(end-beg) time; this function tries to avoid
105 // such complexity by touching only parts of the container around beg/mid/end.
106 int __sanitizer_verify_contiguous_container(const void *beg, const void *mid,
107 const void *end);
109 // Similar to __sanitizer_verify_contiguous_container but returns the address
110 // of the first improperly poisoned byte otherwise. Returns null if the area
111 // is poisoned properly.
112 const void *__sanitizer_contiguous_container_find_bad_address(
113 const void *beg, const void *mid, const void *end);
115 // Print the stack trace leading to this call. Useful for debugging user code.
116 void __sanitizer_print_stack_trace();
118 // Symbolizes the supplied 'pc' using the format string 'fmt'.
119 // Outputs at most 'out_buf_size' bytes into 'out_buf'.
120 // The format syntax is described in
121 // lib/sanitizer_common/sanitizer_stacktrace_printer.h.
122 void __sanitizer_symbolize_pc(void *pc, const char *fmt, char *out_buf,
123 size_t out_buf_size);
124 // Same as __sanitizer_symbolize_pc, but for data section (i.e. globals).
125 void __sanitizer_symbolize_global(void *data_ptr, const char *fmt,
126 char *out_buf, size_t out_buf_size);
128 // Sets the callback to be called right before death on error.
129 // Passing 0 will unset the callback.
130 void __sanitizer_set_death_callback(void (*callback)(void));
132 // Interceptor hooks.
133 // Whenever a libc function interceptor is called it checks if the
134 // corresponding weak hook is defined, and it so -- calls it.
135 // The primary use case is data-flow-guided fuzzing, where the fuzzer needs
136 // to know what is being passed to libc functions, e.g. memcmp.
137 // FIXME: implement more hooks.
138 void __sanitizer_weak_hook_memcmp(void *called_pc, const void *s1,
139 const void *s2, size_t n, int result);
140 void __sanitizer_weak_hook_strncmp(void *called_pc, const char *s1,
141 const char *s2, size_t n, int result);
142 void __sanitizer_weak_hook_strncasecmp(void *called_pc, const char *s1,
143 const char *s2, size_t n, int result);
144 void __sanitizer_weak_hook_strcmp(void *called_pc, const char *s1,
145 const char *s2, int result);
146 void __sanitizer_weak_hook_strcasecmp(void *called_pc, const char *s1,
147 const char *s2, int result);
148 void __sanitizer_weak_hook_strstr(void *called_pc, const char *s1,
149 const char *s2, char *result);
150 void __sanitizer_weak_hook_strcasestr(void *called_pc, const char *s1,
151 const char *s2, char *result);
152 void __sanitizer_weak_hook_memmem(void *called_pc,
153 const void *s1, size_t len1,
154 const void *s2, size_t len2, void *result);
156 // Prints stack traces for all live heap allocations ordered by total
157 // allocation size until `top_percent` of total live heap is shown.
158 // `top_percent` should be between 1 and 100.
159 // Experimental feature currently available only with asan on Linux/x86_64.
160 void __sanitizer_print_memory_profile(size_t top_percent);
162 // Fiber annotation interface.
163 // Before switching to a different stack, one must call
164 // __sanitizer_start_switch_fiber with a pointer to the bottom of the
165 // destination stack and its size. When code starts running on the new stack,
166 // it must call __sanitizer_finish_switch_fiber to finalize the switch.
167 // The start_switch function takes a void** to store the current fake stack if
168 // there is one (it is needed when detect_stack_use_after_return is enabled).
169 // When restoring a stack, this pointer must be given to the finish_switch
170 // function. In most cases, this void* can be stored on the stack just before
171 // switching. When leaving a fiber definitely, null must be passed as first
172 // argument to the start_switch function so that the fake stack is destroyed.
173 // If you do not want support for stack use-after-return detection, you can
174 // always pass null to these two functions.
175 // Note that the fake stack mechanism is disabled during fiber switch, so if a
176 // signal callback runs during the switch, it will not benefit from the stack
177 // use-after-return detection.
178 void __sanitizer_start_switch_fiber(void **fake_stack_save,
179 const void *bottom, size_t size);
180 void __sanitizer_finish_switch_fiber(void *fake_stack_save,
181 const void **bottom_old,
182 size_t *size_old);
183 #ifdef __cplusplus
184 } // extern "C"
185 #endif
187 #endif // SANITIZER_COMMON_INTERFACE_DEFS_H