blob: ceb5bbad7efe920b20b9369519f024a186f8fef3 [file] [log] [blame]
Alexey Samsonovcf055962013-08-08 10:11:02 +00001//===--- SanitizerArgs.cpp - Arguments for sanitizer tools ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Alexey Samsonov609213f92013-08-19 09:14:21 +00009#include "clang/Driver/SanitizerArgs.h"
David L. Jonesf561aba2017-03-08 01:02:16 +000010#include "ToolChains/CommonArgs.h"
Peter Collingbournebf59c342015-05-11 21:39:20 +000011#include "clang/Basic/Sanitizers.h"
Alexey Samsonovcf055962013-08-08 10:11:02 +000012#include "clang/Driver/Driver.h"
13#include "clang/Driver/DriverDiagnostic.h"
14#include "clang/Driver/Options.h"
15#include "clang/Driver/ToolChain.h"
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +000016#include "llvm/ADT/StringExtras.h"
Alexey Samsonovcf055962013-08-08 10:11:02 +000017#include "llvm/ADT/StringSwitch.h"
18#include "llvm/Support/FileSystem.h"
19#include "llvm/Support/Path.h"
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000020#include "llvm/Support/SpecialCaseList.h"
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000021#include <memory>
Alexey Samsonovcf055962013-08-08 10:11:02 +000022
Peter Collingbourne3eea6772015-05-11 21:39:14 +000023using namespace clang;
24using namespace clang::SanitizerKind;
Alexey Samsonovcf055962013-08-08 10:11:02 +000025using namespace clang::driver;
26using namespace llvm::opt;
27
Peter Collingbourne3eea6772015-05-11 21:39:14 +000028enum : SanitizerMask {
Vedant Kumar42c17ec2017-03-14 01:56:34 +000029 NeedsUbsanRt = Undefined | Integer | Nullability | CFI,
Alexey Samsonov9b873092015-06-25 23:14:32 +000030 NeedsUbsanCxxRt = Vptr | CFI,
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000031 NotAllowedWithTrap = Vptr,
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +000032 NotAllowedWithMinimalRuntime = Vptr,
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +000033 RequiresPIE = DataFlow,
Kostya Serebryany2d88f3d2015-01-06 01:02:48 +000034 NeedsUnwindTables = Address | Thread | Memory | DataFlow,
Alexander Potapenkodc5b95b2017-06-08 16:24:21 +000035 SupportsCoverage = Address | KernelAddress | Memory | Leak | Undefined |
George Karpenkov33613f62017-08-11 17:22:58 +000036 Integer | Nullability | DataFlow | Fuzzer | FuzzerNoLink,
Vedant Kumar42c17ec2017-03-14 01:56:34 +000037 RecoverableByDefault = Undefined | Integer | Nullability,
Yury Gribov5bfeca12015-11-11 10:45:48 +000038 Unrecoverable = Unreachable | Return,
Peter Collingbournea4ccff32015-02-20 20:30:56 +000039 LegacyFsanitizeRecoverMask = Undefined | Integer,
Peter Collingbourne1a7488a2015-04-02 00:23:30 +000040 NeedsLTO = CFI,
Vedant Kumar42c17ec2017-03-14 01:56:34 +000041 TrappingSupported = (Undefined & ~Vptr) | UnsignedIntegerOverflow |
42 Nullability | LocalBounds | CFI,
Peter Collingbourne6708c4a2015-06-19 01:51:54 +000043 TrappingDefault = CFI,
Peter Collingbourne3afb2662016-04-28 17:09:37 +000044 CFIClasses = CFIVCall | CFINVCall | CFIDerivedCast | CFIUnrelatedCast,
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +000045 CompatibleWithMinimalRuntime = TrappingSupported,
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000046};
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000047
48enum CoverageFeature {
49 CoverageFunc = 1 << 0,
50 CoverageBB = 1 << 1,
51 CoverageEdge = 1 << 2,
52 CoverageIndirCall = 1 << 3,
Kostya Serebryany2c2fb882017-06-08 22:58:19 +000053 CoverageTraceBB = 1 << 4, // Deprecated.
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000054 CoverageTraceCmp = 1 << 5,
Kostya Serebryany3b419712016-08-30 01:27:03 +000055 CoverageTraceDiv = 1 << 6,
56 CoverageTraceGep = 1 << 7,
Kostya Serebryany2c2fb882017-06-08 22:58:19 +000057 Coverage8bitCounters = 1 << 8, // Deprecated.
Kostya Serebryany3b419712016-08-30 01:27:03 +000058 CoverageTracePC = 1 << 9,
Kostya Serebryany60cdd612016-09-14 01:39:49 +000059 CoverageTracePCGuard = 1 << 10,
Kostya Serebryany50fb6182017-05-05 23:28:18 +000060 CoverageNoPrune = 1 << 11,
Kostya Serebryany61457762017-07-28 00:10:10 +000061 CoverageInline8bitCounters = 1 << 12,
62 CoveragePCTable = 1 << 13,
Matt Morehouse5c7fc762017-08-18 18:43:30 +000063 CoverageStackDepth = 1 << 14,
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000064};
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000065
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000066/// Parse a -fsanitize= or -fno-sanitize= argument's values, diagnosing any
Peter Collingbourne3eea6772015-05-11 21:39:14 +000067/// invalid components. Returns a SanitizerMask.
68static SanitizerMask parseArgValues(const Driver &D, const llvm::opt::Arg *A,
69 bool DiagnoseErrors);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000070
Alexey Samsonovdfa908c2015-05-07 22:34:06 +000071/// Parse -f(no-)?sanitize-coverage= flag values, diagnosing any invalid
72/// components. Returns OR of members of \c CoverageFeature enumeration.
73static int parseCoverageFeatures(const Driver &D, const llvm::opt::Arg *A);
74
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000075/// Produce an argument string from ArgList \p Args, which shows how it
76/// provides some sanitizer kind from \p Mask. For example, the argument list
77/// "-fsanitize=thread,vptr -fsanitize=address" with mask \c NeedsUbsanRt
78/// would produce "-fsanitize=vptr".
79static std::string lastArgumentForMask(const Driver &D,
80 const llvm::opt::ArgList &Args,
Peter Collingbourne3eea6772015-05-11 21:39:14 +000081 SanitizerMask Mask);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000082
83/// Produce an argument string from argument \p A, which shows how it provides
84/// a value in \p Mask. For instance, the argument
85/// "-fsanitize=address,alignment" with mask \c NeedsUbsanRt would produce
86/// "-fsanitize=alignment".
Peter Collingbourne3eea6772015-05-11 21:39:14 +000087static std::string describeSanitizeArg(const llvm::opt::Arg *A,
88 SanitizerMask Mask);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +000089
Alexey Samsonov1e715a62014-11-16 20:53:53 +000090/// Produce a string containing comma-separated names of sanitizers in \p
91/// Sanitizers set.
92static std::string toString(const clang::SanitizerSet &Sanitizers);
93
Peter Collingbourne3eea6772015-05-11 21:39:14 +000094static bool getDefaultBlacklist(const Driver &D, SanitizerMask Kinds,
Alexey Samsonovecf380e2015-03-20 18:45:06 +000095 std::string &BLPath) {
96 const char *BlacklistFile = nullptr;
Peter Collingbourne3eea6772015-05-11 21:39:14 +000097 if (Kinds & Address)
Alexey Samsonovecf380e2015-03-20 18:45:06 +000098 BlacklistFile = "asan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +000099 else if (Kinds & Memory)
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000100 BlacklistFile = "msan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000101 else if (Kinds & Thread)
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000102 BlacklistFile = "tsan_blacklist.txt";
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000103 else if (Kinds & DataFlow)
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000104 BlacklistFile = "dfsan_abilist.txt";
Peter Collingbourne6fccf952015-07-15 12:15:56 +0000105 else if (Kinds & CFI)
106 BlacklistFile = "cfi_blacklist.txt";
Vedant Kumar44ee6e42017-09-12 18:58:00 +0000107 else if (Kinds & (Undefined | Integer | Nullability))
Han Shen0d7ac5f2017-08-02 19:53:38 +0000108 BlacklistFile = "ubsan_blacklist.txt";
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000109
110 if (BlacklistFile) {
111 clang::SmallString<64> Path(D.ResourceDir);
112 llvm::sys::path::append(Path, BlacklistFile);
113 BLPath = Path.str();
114 return true;
115 }
116 return false;
117}
118
Peter Collingbourne9881b782015-06-18 23:59:22 +0000119/// Sets group bits for every group that has at least one representative already
120/// enabled in \p Kinds.
121static SanitizerMask setGroupBits(SanitizerMask Kinds) {
122#define SANITIZER(NAME, ID)
123#define SANITIZER_GROUP(NAME, ID, ALIAS) \
124 if (Kinds & SanitizerKind::ID) \
125 Kinds |= SanitizerKind::ID##Group;
126#include "clang/Basic/Sanitizers.def"
127 return Kinds;
128}
129
130static SanitizerMask parseSanitizeTrapArgs(const Driver &D,
131 const llvm::opt::ArgList &Args) {
132 SanitizerMask TrapRemove = 0; // During the loop below, the accumulated set of
133 // sanitizers disabled by the current sanitizer
134 // argument or any argument after it.
135 SanitizerMask TrappingKinds = 0;
136 SanitizerMask TrappingSupportedWithGroups = setGroupBits(TrappingSupported);
137
138 for (ArgList::const_reverse_iterator I = Args.rbegin(), E = Args.rend();
139 I != E; ++I) {
140 const auto *Arg = *I;
141 if (Arg->getOption().matches(options::OPT_fsanitize_trap_EQ)) {
142 Arg->claim();
143 SanitizerMask Add = parseArgValues(D, Arg, true);
144 Add &= ~TrapRemove;
145 if (SanitizerMask InvalidValues = Add & ~TrappingSupportedWithGroups) {
146 SanitizerSet S;
147 S.Mask = InvalidValues;
148 D.Diag(diag::err_drv_unsupported_option_argument) << "-fsanitize-trap"
149 << toString(S);
150 }
151 TrappingKinds |= expandSanitizerGroups(Add) & ~TrapRemove;
152 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_trap_EQ)) {
153 Arg->claim();
154 TrapRemove |= expandSanitizerGroups(parseArgValues(D, Arg, true));
155 } else if (Arg->getOption().matches(
156 options::OPT_fsanitize_undefined_trap_on_error)) {
157 Arg->claim();
158 TrappingKinds |=
159 expandSanitizerGroups(UndefinedGroup & ~TrapRemove) & ~TrapRemove;
160 } else if (Arg->getOption().matches(
161 options::OPT_fno_sanitize_undefined_trap_on_error)) {
162 Arg->claim();
163 TrapRemove |= expandSanitizerGroups(UndefinedGroup);
164 }
165 }
166
Peter Collingbourne6708c4a2015-06-19 01:51:54 +0000167 // Apply default trapping behavior.
168 TrappingKinds |= TrappingDefault & ~TrapRemove;
169
Peter Collingbourne9881b782015-06-18 23:59:22 +0000170 return TrappingKinds;
171}
172
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000173bool SanitizerArgs::needsUbsanRt() const {
Evgeniy Stepanov5b49eb42016-06-14 21:33:40 +0000174 return ((Sanitizers.Mask & NeedsUbsanRt & ~TrapSanitizers.Mask) ||
175 CoverageFeatures) &&
176 !Sanitizers.has(Address) && !Sanitizers.has(Memory) &&
Petr Hosekb31582b2017-08-03 23:02:22 +0000177 !Sanitizers.has(Thread) && !Sanitizers.has(DataFlow) &&
Mike Aizatskyd1033f52016-12-08 22:25:01 +0000178 !Sanitizers.has(Leak) && !CfiCrossDso;
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000179}
180
181bool SanitizerArgs::needsCfiRt() const {
Evgeniy Stepanove3fb51c2015-12-16 00:38:42 +0000182 return !(Sanitizers.Mask & CFI & ~TrapSanitizers.Mask) && CfiCrossDso;
183}
184
185bool SanitizerArgs::needsCfiDiagRt() const {
186 return (Sanitizers.Mask & CFI & ~TrapSanitizers.Mask) && CfiCrossDso;
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000187}
188
Dmitry Vyukov43419a72014-11-21 12:19:01 +0000189bool SanitizerArgs::requiresPIE() const {
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000190 return NeedPIE || (Sanitizers.Mask & RequiresPIE);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000191}
192
193bool SanitizerArgs::needsUnwindTables() const {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000194 return Sanitizers.Mask & NeedsUnwindTables;
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000195}
196
Peter Collingbourne32701642013-11-01 18:16:25 +0000197SanitizerArgs::SanitizerArgs(const ToolChain &TC,
198 const llvm::opt::ArgList &Args) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000199 SanitizerMask AllRemove = 0; // During the loop below, the accumulated set of
200 // sanitizers disabled by the current sanitizer
201 // argument or any argument after it.
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000202 SanitizerMask AllAddedKinds = 0; // Mask of all sanitizers ever enabled by
203 // -fsanitize= flags (directly or via group
204 // expansion), some of which may be disabled
205 // later. Used to carefully prune
206 // unused-argument diagnostics.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000207 SanitizerMask DiagnosedKinds = 0; // All Kinds we have diagnosed up to now.
208 // Used to deduplicate diagnostics.
209 SanitizerMask Kinds = 0;
Alexey Samsonov9b873092015-06-25 23:14:32 +0000210 const SanitizerMask Supported = setGroupBits(TC.getSupportedSanitizers());
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000211 ToolChain::RTTIMode RTTIMode = TC.getRTTIMode();
212
Peter Collingbourne32701642013-11-01 18:16:25 +0000213 const Driver &D = TC.getDriver();
Peter Collingbourne9881b782015-06-18 23:59:22 +0000214 SanitizerMask TrappingKinds = parseSanitizeTrapArgs(D, Args);
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000215 SanitizerMask InvalidTrappingKinds = TrappingKinds & NotAllowedWithTrap;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000216
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +0000217 MinimalRuntime =
218 Args.hasFlag(options::OPT_fsanitize_minimal_runtime,
219 options::OPT_fno_sanitize_minimal_runtime, MinimalRuntime);
220
Vedant Kumar7aacb652017-06-23 23:15:24 +0000221 // The object size sanitizer should not be enabled at -O0.
222 Arg *OptLevel = Args.getLastArg(options::OPT_O_Group);
223 bool RemoveObjectSizeAtO0 =
224 !OptLevel || OptLevel->getOption().matches(options::OPT_O0);
225
Peter Collingbourne32701642013-11-01 18:16:25 +0000226 for (ArgList::const_reverse_iterator I = Args.rbegin(), E = Args.rend();
227 I != E; ++I) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000228 const auto *Arg = *I;
229 if (Arg->getOption().matches(options::OPT_fsanitize_EQ)) {
230 Arg->claim();
Vedant Kumar7aacb652017-06-23 23:15:24 +0000231 SanitizerMask Add = parseArgValues(D, Arg, /*AllowGroups=*/true);
232
233 if (RemoveObjectSizeAtO0) {
234 AllRemove |= SanitizerKind::ObjectSize;
235
236 // The user explicitly enabled the object size sanitizer. Warn that
237 // that this does nothing at -O0.
238 if (Add & SanitizerKind::ObjectSize)
239 D.Diag(diag::warn_drv_object_size_disabled_O0)
240 << Arg->getAsString(Args);
241 }
242
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000243 AllAddedKinds |= expandSanitizerGroups(Add);
Peter Collingbourne32701642013-11-01 18:16:25 +0000244
Alexey Samsonov799f7932014-12-19 02:35:16 +0000245 // Avoid diagnosing any sanitizer which is disabled later.
246 Add &= ~AllRemove;
247 // At this point we have not expanded groups, so any unsupported
248 // sanitizers in Add are those which have been explicitly enabled.
249 // Diagnose them.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000250 if (SanitizerMask KindsToDiagnose =
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000251 Add & InvalidTrappingKinds & ~DiagnosedKinds) {
Peter Collingbourne9881b782015-06-18 23:59:22 +0000252 std::string Desc = describeSanitizeArg(*I, KindsToDiagnose);
253 D.Diag(diag::err_drv_argument_not_allowed_with)
254 << Desc << "-fsanitize-trap=undefined";
255 DiagnosedKinds |= KindsToDiagnose;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000256 }
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000257 Add &= ~InvalidTrappingKinds;
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +0000258
259 if (MinimalRuntime) {
260 if (SanitizerMask KindsToDiagnose =
261 Add & NotAllowedWithMinimalRuntime & ~DiagnosedKinds) {
262 std::string Desc = describeSanitizeArg(*I, KindsToDiagnose);
263 D.Diag(diag::err_drv_argument_not_allowed_with)
264 << Desc << "-fsanitize-minimal-runtime";
265 DiagnosedKinds |= KindsToDiagnose;
266 }
267 Add &= ~NotAllowedWithMinimalRuntime;
268 }
269
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000270 if (SanitizerMask KindsToDiagnose = Add & ~Supported & ~DiagnosedKinds) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000271 std::string Desc = describeSanitizeArg(*I, KindsToDiagnose);
272 D.Diag(diag::err_drv_unsupported_opt_for_target)
273 << Desc << TC.getTriple().str();
274 DiagnosedKinds |= KindsToDiagnose;
275 }
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000276 Add &= Supported;
Peter Collingbourne32701642013-11-01 18:16:25 +0000277
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000278 // Test for -fno-rtti + explicit -fsanitizer=vptr before expanding groups
279 // so we don't error out if -fno-rtti and -fsanitize=undefined were
280 // passed.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000281 if (Add & Vptr &&
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000282 (RTTIMode == ToolChain::RM_DisabledImplicitly ||
283 RTTIMode == ToolChain::RM_DisabledExplicitly)) {
284 if (RTTIMode == ToolChain::RM_DisabledImplicitly)
285 // Warn about not having rtti enabled if the vptr sanitizer is
286 // explicitly enabled
287 D.Diag(diag::warn_drv_disabling_vptr_no_rtti_default);
288 else {
289 const llvm::opt::Arg *NoRTTIArg = TC.getRTTIArg();
290 assert(NoRTTIArg &&
291 "RTTI disabled explicitly but we have no argument!");
292 D.Diag(diag::err_drv_argument_not_allowed_with)
293 << "-fsanitize=vptr" << NoRTTIArg->getAsString(Args);
294 }
295
296 // Take out the Vptr sanitizer from the enabled sanitizers
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000297 AllRemove |= Vptr;
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000298 }
299
Peter Collingbournebf59c342015-05-11 21:39:20 +0000300 Add = expandSanitizerGroups(Add);
Alexey Samsonov799f7932014-12-19 02:35:16 +0000301 // Group expansion may have enabled a sanitizer which is disabled later.
302 Add &= ~AllRemove;
303 // Silently discard any unsupported sanitizers implicitly enabled through
304 // group expansion.
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000305 Add &= ~InvalidTrappingKinds;
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +0000306 if (MinimalRuntime) {
307 Add &= ~NotAllowedWithMinimalRuntime;
308 }
Alexey Samsonov7f2a0d22015-06-19 21:36:47 +0000309 Add &= Supported;
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000310
George Karpenkovf2fc5b02017-04-24 18:23:24 +0000311 if (Add & Fuzzer)
George Karpenkov33613f62017-08-11 17:22:58 +0000312 Add |= FuzzerNoLink;
313
Matt Morehouse6ec75952017-08-25 22:01:21 +0000314 // Enable coverage if the fuzzing flag is set.
Matt Morehouse034126e2017-08-30 22:49:31 +0000315 if (Add & FuzzerNoLink) {
Kostya Serebryanya5231352017-09-01 18:34:36 +0000316 CoverageFeatures |= CoverageInline8bitCounters | CoverageIndirCall |
Matt Morehouse6ec75952017-08-25 22:01:21 +0000317 CoverageTraceCmp | CoveragePCTable;
Matt Morehouse034126e2017-08-30 22:49:31 +0000318 // Due to TLS differences, stack depth tracking is only enabled on Linux
319 if (TC.getTriple().isOSLinux())
320 CoverageFeatures |= CoverageStackDepth;
321 }
George Karpenkovf2fc5b02017-04-24 18:23:24 +0000322
Alexey Samsonov799f7932014-12-19 02:35:16 +0000323 Kinds |= Add;
324 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_EQ)) {
325 Arg->claim();
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000326 SanitizerMask Remove = parseArgValues(D, Arg, true);
Peter Collingbournebf59c342015-05-11 21:39:20 +0000327 AllRemove |= expandSanitizerGroups(Remove);
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000328 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000329 }
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000330
Ed Schoutenfc79d2c2016-03-29 21:13:53 +0000331 // Enable toolchain specific default sanitizers if not explicitly disabled.
332 Kinds |= TC.getDefaultSanitizers() & ~AllRemove;
333
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000334 // We disable the vptr sanitizer if it was enabled by group expansion but RTTI
335 // is disabled.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000336 if ((Kinds & Vptr) &&
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000337 (RTTIMode == ToolChain::RM_DisabledImplicitly ||
338 RTTIMode == ToolChain::RM_DisabledExplicitly)) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000339 Kinds &= ~Vptr;
Filipe Cabecinhasec5d0e62015-02-19 01:04:49 +0000340 }
341
Alexey Samsonov907880e2015-06-19 19:57:46 +0000342 // Check that LTO is enabled if we need it.
Teresa Johnson945bc502015-10-15 20:35:53 +0000343 if ((Kinds & NeedsLTO) && !D.isUsingLTO()) {
Alexey Samsonov907880e2015-06-19 19:57:46 +0000344 D.Diag(diag::err_drv_argument_only_allowed_with)
345 << lastArgumentForMask(D, Args, Kinds & NeedsLTO) << "-flto";
346 }
347
Alexey Samsonov9b873092015-06-25 23:14:32 +0000348 // Report error if there are non-trapping sanitizers that require
349 // c++abi-specific parts of UBSan runtime, and they are not provided by the
350 // toolchain. We don't have a good way to check the latter, so we just
351 // check if the toolchan supports vptr.
352 if (~Supported & Vptr) {
Peter Collingbourne4bdceaa2015-07-08 21:08:05 +0000353 SanitizerMask KindsToDiagnose = Kinds & ~TrappingKinds & NeedsUbsanCxxRt;
354 // The runtime library supports the Microsoft C++ ABI, but only well enough
355 // for CFI. FIXME: Remove this once we support vptr on Windows.
356 if (TC.getTriple().isOSWindows())
357 KindsToDiagnose &= ~CFI;
358 if (KindsToDiagnose) {
Alexey Samsonov9b873092015-06-25 23:14:32 +0000359 SanitizerSet S;
360 S.Mask = KindsToDiagnose;
361 D.Diag(diag::err_drv_unsupported_opt_for_target)
362 << ("-fno-sanitize-trap=" + toString(S)) << TC.getTriple().str();
363 Kinds &= ~KindsToDiagnose;
364 }
365 }
366
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000367 // Warn about incompatible groups of sanitizers.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000368 std::pair<SanitizerMask, SanitizerMask> IncompatibleGroups[] = {
369 std::make_pair(Address, Thread), std::make_pair(Address, Memory),
370 std::make_pair(Thread, Memory), std::make_pair(Leak, Thread),
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +0000371 std::make_pair(Leak, Memory), std::make_pair(KernelAddress, Address),
372 std::make_pair(KernelAddress, Leak),
373 std::make_pair(KernelAddress, Thread),
Derek Bruening256c2e12016-04-21 21:32:04 +0000374 std::make_pair(KernelAddress, Memory),
375 std::make_pair(Efficiency, Address),
376 std::make_pair(Efficiency, Leak),
377 std::make_pair(Efficiency, Thread),
378 std::make_pair(Efficiency, Memory),
379 std::make_pair(Efficiency, KernelAddress)};
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000380 for (auto G : IncompatibleGroups) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000381 SanitizerMask Group = G.first;
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000382 if (Kinds & Group) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000383 if (SanitizerMask Incompatible = Kinds & G.second) {
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000384 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
385 << lastArgumentForMask(D, Args, Group)
386 << lastArgumentForMask(D, Args, Incompatible);
387 Kinds &= ~Incompatible;
388 }
389 }
390 }
391 // FIXME: Currently -fsanitize=leak is silently ignored in the presence of
392 // -fsanitize=address. Perhaps it should print an error, or perhaps
393 // -f(-no)sanitize=leak should change whether leak detection is enabled by
394 // default in ASan?
395
Alexey Samsonov88459522015-01-12 22:39:12 +0000396 // Parse -f(no-)?sanitize-recover flags.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000397 SanitizerMask RecoverableKinds = RecoverableByDefault;
398 SanitizerMask DiagnosedUnrecoverableKinds = 0;
Alexey Samsonov88459522015-01-12 22:39:12 +0000399 for (const auto *Arg : Args) {
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000400 const char *DeprecatedReplacement = nullptr;
Alexey Samsonov88459522015-01-12 22:39:12 +0000401 if (Arg->getOption().matches(options::OPT_fsanitize_recover)) {
Kostya Serebryanyceb1add2016-05-04 20:21:47 +0000402 DeprecatedReplacement =
403 "-fsanitize-recover=undefined,integer' or '-fsanitize-recover=all";
Peter Collingbournebf59c342015-05-11 21:39:20 +0000404 RecoverableKinds |= expandSanitizerGroups(LegacyFsanitizeRecoverMask);
Alexey Samsonov88459522015-01-12 22:39:12 +0000405 Arg->claim();
406 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_recover)) {
Kostya Serebryanyceb1add2016-05-04 20:21:47 +0000407 DeprecatedReplacement = "-fno-sanitize-recover=undefined,integer' or "
408 "'-fno-sanitize-recover=all";
Peter Collingbournebf59c342015-05-11 21:39:20 +0000409 RecoverableKinds &= ~expandSanitizerGroups(LegacyFsanitizeRecoverMask);
Alexey Samsonov88459522015-01-12 22:39:12 +0000410 Arg->claim();
411 } else if (Arg->getOption().matches(options::OPT_fsanitize_recover_EQ)) {
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000412 SanitizerMask Add = parseArgValues(D, Arg, true);
Alexey Samsonov88459522015-01-12 22:39:12 +0000413 // Report error if user explicitly tries to recover from unrecoverable
414 // sanitizer.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000415 if (SanitizerMask KindsToDiagnose =
Alexey Samsonov88459522015-01-12 22:39:12 +0000416 Add & Unrecoverable & ~DiagnosedUnrecoverableKinds) {
417 SanitizerSet SetToDiagnose;
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000418 SetToDiagnose.Mask |= KindsToDiagnose;
Alexey Samsonov88459522015-01-12 22:39:12 +0000419 D.Diag(diag::err_drv_unsupported_option_argument)
420 << Arg->getOption().getName() << toString(SetToDiagnose);
421 DiagnosedUnrecoverableKinds |= KindsToDiagnose;
422 }
Peter Collingbournebf59c342015-05-11 21:39:20 +0000423 RecoverableKinds |= expandSanitizerGroups(Add);
Alexey Samsonov88459522015-01-12 22:39:12 +0000424 Arg->claim();
425 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_recover_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000426 RecoverableKinds &= ~expandSanitizerGroups(parseArgValues(D, Arg, true));
Alexey Samsonov88459522015-01-12 22:39:12 +0000427 Arg->claim();
428 }
Alexey Samsonovce2e77c2015-03-11 23:34:25 +0000429 if (DeprecatedReplacement) {
430 D.Diag(diag::warn_drv_deprecated_arg) << Arg->getAsString(Args)
431 << DeprecatedReplacement;
432 }
Alexey Samsonov88459522015-01-12 22:39:12 +0000433 }
434 RecoverableKinds &= Kinds;
435 RecoverableKinds &= ~Unrecoverable;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000436
Peter Collingbourne9881b782015-06-18 23:59:22 +0000437 TrappingKinds &= Kinds;
438
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000439 // Setup blacklist files.
440 // Add default blacklist from resource directory.
441 {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000442 std::string BLPath;
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000443 if (getDefaultBlacklist(D, Kinds, BLPath) && llvm::sys::fs::exists(BLPath))
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000444 BlacklistFiles.push_back(BLPath);
445 }
446 // Parse -f(no-)sanitize-blacklist options.
447 for (const auto *Arg : Args) {
448 if (Arg->getOption().matches(options::OPT_fsanitize_blacklist)) {
449 Arg->claim();
450 std::string BLPath = Arg->getValue();
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000451 if (llvm::sys::fs::exists(BLPath)) {
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000452 BlacklistFiles.push_back(BLPath);
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000453 ExtraDeps.push_back(BLPath);
454 } else
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000455 D.Diag(clang::diag::err_drv_no_such_file) << BLPath;
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000456
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000457 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_blacklist)) {
458 Arg->claim();
459 BlacklistFiles.clear();
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000460 ExtraDeps.clear();
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000461 }
462 }
463 // Validate blacklists format.
464 {
465 std::string BLError;
466 std::unique_ptr<llvm::SpecialCaseList> SCL(
467 llvm::SpecialCaseList::create(BlacklistFiles, BLError));
468 if (!SCL.get())
469 D.Diag(clang::diag::err_drv_malformed_sanitizer_blacklist) << BLError;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000470 }
471
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000472 // Parse -f[no-]sanitize-memory-track-origins[=level] options.
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000473 if (AllAddedKinds & Memory) {
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000474 if (Arg *A =
475 Args.getLastArg(options::OPT_fsanitize_memory_track_origins_EQ,
476 options::OPT_fsanitize_memory_track_origins,
477 options::OPT_fno_sanitize_memory_track_origins)) {
478 if (A->getOption().matches(options::OPT_fsanitize_memory_track_origins)) {
Evgeniy Stepanov6e09bca2015-02-26 15:59:30 +0000479 MsanTrackOrigins = 2;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000480 } else if (A->getOption().matches(
481 options::OPT_fno_sanitize_memory_track_origins)) {
482 MsanTrackOrigins = 0;
483 } else {
484 StringRef S = A->getValue();
485 if (S.getAsInteger(0, MsanTrackOrigins) || MsanTrackOrigins < 0 ||
486 MsanTrackOrigins > 2) {
Nico Weberf2a39a72015-04-13 20:03:03 +0000487 D.Diag(clang::diag::err_drv_invalid_value) << A->getAsString(Args) << S;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000488 }
489 }
490 }
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000491 MsanUseAfterDtor =
Matt Morehousebb26f862017-09-14 23:14:37 +0000492 Args.hasFlag(options::OPT_fsanitize_memory_use_after_dtor,
493 options::OPT_fno_sanitize_memory_use_after_dtor,
Matt Morehouse175625c2017-09-14 23:53:56 +0000494 MsanUseAfterDtor);
Evgeniy Stepanov71554fe2015-10-21 21:28:49 +0000495 NeedPIE |= !(TC.getTriple().isOSLinux() &&
496 TC.getTriple().getArch() == llvm::Triple::x86_64);
Matt Morehouse175625c2017-09-14 23:53:56 +0000497 } else {
498 MsanUseAfterDtor = false;
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000499 }
500
Evgeniy Stepanov8a2bedb2016-11-11 23:17:36 +0000501 if (AllAddedKinds & Thread) {
502 TsanMemoryAccess = Args.hasFlag(options::OPT_fsanitize_thread_memory_access,
503 options::OPT_fno_sanitize_thread_memory_access,
504 TsanMemoryAccess);
505 TsanFuncEntryExit = Args.hasFlag(options::OPT_fsanitize_thread_func_entry_exit,
506 options::OPT_fno_sanitize_thread_func_entry_exit,
507 TsanFuncEntryExit);
508 TsanAtomics = Args.hasFlag(options::OPT_fsanitize_thread_atomics,
509 options::OPT_fno_sanitize_thread_atomics,
510 TsanAtomics);
511 }
512
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000513 if (AllAddedKinds & CFI) {
514 CfiCrossDso = Args.hasFlag(options::OPT_fsanitize_cfi_cross_dso,
515 options::OPT_fno_sanitize_cfi_cross_dso, false);
516 // Without PIE, external function address may resolve to a PLT record, which
517 // can not be verified by the target module.
518 NeedPIE |= CfiCrossDso;
519 }
520
Peter Collingbournedc134532016-01-16 00:31:22 +0000521 Stats = Args.hasFlag(options::OPT_fsanitize_stats,
522 options::OPT_fno_sanitize_stats, false);
523
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +0000524 if (MinimalRuntime) {
525 SanitizerMask IncompatibleMask =
526 Kinds & ~setGroupBits(CompatibleWithMinimalRuntime);
527 if (IncompatibleMask)
528 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
529 << "-fsanitize-minimal-runtime"
530 << lastArgumentForMask(D, Args, IncompatibleMask);
531
532 SanitizerMask NonTrappingCfi = Kinds & CFI & ~TrappingKinds;
533 if (NonTrappingCfi)
534 D.Diag(clang::diag::err_drv_argument_only_allowed_with)
535 << "fsanitize-minimal-runtime"
536 << "fsanitize-trap=cfi";
537 }
538
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000539 // Parse -f(no-)?sanitize-coverage flags if coverage is supported by the
540 // enabled sanitizers.
Kostya Serebryany52e86492016-02-18 00:49:23 +0000541 for (const auto *Arg : Args) {
542 if (Arg->getOption().matches(options::OPT_fsanitize_coverage)) {
543 int LegacySanitizeCoverage;
544 if (Arg->getNumValues() == 1 &&
545 !StringRef(Arg->getValue(0))
Kostya Serebryany9d1ed132017-04-19 19:57:16 +0000546 .getAsInteger(0, LegacySanitizeCoverage)) {
547 CoverageFeatures = 0;
548 Arg->claim();
549 if (LegacySanitizeCoverage != 0) {
Nico Weber4152f522016-02-18 19:32:54 +0000550 D.Diag(diag::warn_drv_deprecated_arg)
Kostya Serebryany9d1ed132017-04-19 19:57:16 +0000551 << Arg->getAsString(Args) << "-fsanitize-coverage=trace-pc-guard";
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000552 }
Kostya Serebryany52e86492016-02-18 00:49:23 +0000553 continue;
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000554 }
Kostya Serebryany52e86492016-02-18 00:49:23 +0000555 CoverageFeatures |= parseCoverageFeatures(D, Arg);
Evgeniy Stepanov5b49eb42016-06-14 21:33:40 +0000556
557 // Disable coverage and not claim the flags if there is at least one
558 // non-supporting sanitizer.
Petr Hosekeb4127f2017-07-21 01:17:49 +0000559 if (!(AllAddedKinds & ~AllRemove & ~setGroupBits(SupportsCoverage))) {
Kostya Serebryany52e86492016-02-18 00:49:23 +0000560 Arg->claim();
Kostya Serebryanyf5b25f82016-04-18 21:30:17 +0000561 } else {
562 CoverageFeatures = 0;
Kostya Serebryany52e86492016-02-18 00:49:23 +0000563 }
564 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_coverage)) {
565 Arg->claim();
566 CoverageFeatures &= ~parseCoverageFeatures(D, Arg);
Kostya Serebryany75b4f9e2014-11-11 22:15:07 +0000567 }
568 }
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000569 // Choose at most one coverage type: function, bb, or edge.
570 if ((CoverageFeatures & CoverageFunc) && (CoverageFeatures & CoverageBB))
571 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
572 << "-fsanitize-coverage=func"
573 << "-fsanitize-coverage=bb";
574 if ((CoverageFeatures & CoverageFunc) && (CoverageFeatures & CoverageEdge))
575 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
576 << "-fsanitize-coverage=func"
577 << "-fsanitize-coverage=edge";
578 if ((CoverageFeatures & CoverageBB) && (CoverageFeatures & CoverageEdge))
579 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
580 << "-fsanitize-coverage=bb"
581 << "-fsanitize-coverage=edge";
582 // Basic block tracing and 8-bit counters require some type of coverage
583 // enabled.
Kostya Serebryany1c0e9e92017-04-19 21:31:11 +0000584 if (CoverageFeatures & CoverageTraceBB)
585 D.Diag(clang::diag::warn_drv_deprecated_arg)
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000586 << "-fsanitize-coverage=trace-bb"
Kostya Serebryany1c0e9e92017-04-19 21:31:11 +0000587 << "-fsanitize-coverage=trace-pc-guard";
588 if (CoverageFeatures & Coverage8bitCounters)
Kostya Serebryany1a02d8b2017-04-19 20:15:58 +0000589 D.Diag(clang::diag::warn_drv_deprecated_arg)
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000590 << "-fsanitize-coverage=8bit-counters"
Kostya Serebryany1a02d8b2017-04-19 20:15:58 +0000591 << "-fsanitize-coverage=trace-pc-guard";
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000592
593 int InsertionPointTypes = CoverageFunc | CoverageBB | CoverageEdge;
Kostya Serebryany9f338dc2017-08-08 20:20:40 +0000594 int InstrumentationTypes =
595 CoverageTracePC | CoverageTracePCGuard | CoverageInline8bitCounters;
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000596 if ((CoverageFeatures & InsertionPointTypes) &&
Kostya Serebryany9f338dc2017-08-08 20:20:40 +0000597 !(CoverageFeatures & InstrumentationTypes)) {
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000598 D.Diag(clang::diag::warn_drv_deprecated_arg)
599 << "-fsanitize-coverage=[func|bb|edge]"
600 << "-fsanitize-coverage=[func|bb|edge],[trace-pc-guard|trace-pc]";
601 }
602
Kostya Serebryany52e86492016-02-18 00:49:23 +0000603 // trace-pc w/o func/bb/edge implies edge.
Matt Morehouse5c7fc762017-08-18 18:43:30 +0000604 if (!(CoverageFeatures & InsertionPointTypes)) {
605 if (CoverageFeatures &
606 (CoverageTracePC | CoverageTracePCGuard | CoverageInline8bitCounters))
607 CoverageFeatures |= CoverageEdge;
608
609 if (CoverageFeatures & CoverageStackDepth)
610 CoverageFeatures |= CoverageFunc;
611 }
Kostya Serebryany75b4f9e2014-11-11 22:15:07 +0000612
Evgeniy Stepanov0876cfb2017-10-05 20:14:00 +0000613 SharedRuntime =
614 Args.hasFlag(options::OPT_shared_libsan, options::OPT_static_libsan,
615 TC.getTriple().isAndroid() || TC.getTriple().isOSFuchsia());
616
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000617 if (AllAddedKinds & Address) {
Petr Hosekb31582b2017-08-03 23:02:22 +0000618 NeedPIE |= TC.getTriple().isAndroid() || TC.getTriple().isOSFuchsia();
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000619 if (Arg *A =
620 Args.getLastArg(options::OPT_fsanitize_address_field_padding)) {
621 StringRef S = A->getValue();
622 // Legal values are 0 and 1, 2, but in future we may add more levels.
623 if (S.getAsInteger(0, AsanFieldPadding) || AsanFieldPadding < 0 ||
624 AsanFieldPadding > 2) {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000625 D.Diag(clang::diag::err_drv_invalid_value) << A->getAsString(Args) << S;
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000626 }
627 }
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000628
629 if (Arg *WindowsDebugRTArg =
630 Args.getLastArg(options::OPT__SLASH_MTd, options::OPT__SLASH_MT,
631 options::OPT__SLASH_MDd, options::OPT__SLASH_MD,
632 options::OPT__SLASH_LDd, options::OPT__SLASH_LD)) {
633 switch (WindowsDebugRTArg->getOption().getID()) {
634 case options::OPT__SLASH_MTd:
635 case options::OPT__SLASH_MDd:
636 case options::OPT__SLASH_LDd:
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000637 D.Diag(clang::diag::err_drv_argument_not_allowed_with)
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000638 << WindowsDebugRTArg->getAsString(Args)
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000639 << lastArgumentForMask(D, Args, Address);
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000640 D.Diag(clang::diag::note_drv_address_sanitizer_debug_runtime);
Ehsan Akhgarie0db1962014-10-14 23:15:44 +0000641 }
642 }
Alexey Samsonov90490af2014-08-08 22:47:17 +0000643
Vedant Kumara9d8be62017-05-08 21:11:55 +0000644 AsanUseAfterScope = Args.hasFlag(
645 options::OPT_fsanitize_address_use_after_scope,
646 options::OPT_fno_sanitize_address_use_after_scope, AsanUseAfterScope);
Evgeniy Stepanovd991cdd2017-05-09 21:57:43 +0000647
648 // As a workaround for a bug in gold 2.26 and earlier, dead stripping of
649 // globals in ASan is disabled by default on ELF targets.
650 // See https://sourceware.org/bugzilla/show_bug.cgi?id=19002
651 AsanGlobalsDeadStripping =
Petr Hosekb31582b2017-08-03 23:02:22 +0000652 !TC.getTriple().isOSBinFormatELF() || TC.getTriple().isOSFuchsia() ||
Evgeniy Stepanovd991cdd2017-05-09 21:57:43 +0000653 Args.hasArg(options::OPT_fsanitize_address_globals_dead_stripping);
Vedant Kumara9d8be62017-05-08 21:11:55 +0000654 } else {
655 AsanUseAfterScope = false;
Vitaly Buka9d4eb6f2016-06-02 00:24:20 +0000656 }
657
Petr Hosek766288b2017-08-16 19:06:05 +0000658 if (AllAddedKinds & SafeStack) {
659 // SafeStack runtime is built into the system on Fuchsia.
660 SafeStackRuntime = !TC.getTriple().isOSFuchsia();
661 }
662
Alexey Samsonov90490af2014-08-08 22:47:17 +0000663 // Parse -link-cxx-sanitizer flag.
664 LinkCXXRuntimes =
665 Args.hasArg(options::OPT_fsanitize_link_cxx_runtime) || D.CCCIsCXX();
Alexey Samsonovecf380e2015-03-20 18:45:06 +0000666
667 // Finally, initialize the set of available and recoverable sanitizers.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000668 Sanitizers.Mask |= Kinds;
669 RecoverableSanitizers.Mask |= RecoverableKinds;
Peter Collingbourne9881b782015-06-18 23:59:22 +0000670 TrapSanitizers.Mask |= TrappingKinds;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000671}
672
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000673static std::string toString(const clang::SanitizerSet &Sanitizers) {
674 std::string Res;
675#define SANITIZER(NAME, ID) \
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000676 if (Sanitizers.has(ID)) { \
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000677 if (!Res.empty()) \
678 Res += ","; \
679 Res += NAME; \
680 }
681#include "clang/Basic/Sanitizers.def"
682 return Res;
683}
684
Peter Collingbournedc134532016-01-16 00:31:22 +0000685static void addIncludeLinkerOption(const ToolChain &TC,
686 const llvm::opt::ArgList &Args,
687 llvm::opt::ArgStringList &CmdArgs,
688 StringRef SymbolName) {
689 SmallString<64> LinkerOptionFlag;
690 LinkerOptionFlag = "--linker-option=/include:";
691 if (TC.getTriple().getArch() == llvm::Triple::x86) {
692 // Win32 mangles C function names with a '_' prefix.
693 LinkerOptionFlag += '_';
694 }
695 LinkerOptionFlag += SymbolName;
696 CmdArgs.push_back(Args.MakeArgString(LinkerOptionFlag));
697}
698
Vedant Kumar5fb00e42016-07-27 23:01:55 +0000699void SanitizerArgs::addArgs(const ToolChain &TC, const llvm::opt::ArgList &Args,
Peter Collingbourne581f4382015-07-02 01:48:12 +0000700 llvm::opt::ArgStringList &CmdArgs,
701 types::ID InputType) const {
Justin Lebar6efbc732016-09-15 23:44:13 +0000702 // NVPTX doesn't currently support sanitizers. Bailing out here means that
703 // e.g. -fsanitize=address applies only to host code, which is what we want
704 // for now.
705 if (TC.getTriple().isNVPTX())
706 return;
707
Kostya Serebryany52e86492016-02-18 00:49:23 +0000708 // Translate available CoverageFeatures to corresponding clang-cc1 flags.
709 // Do it even if Sanitizers.empty() since some forms of coverage don't require
710 // sanitizers.
711 std::pair<int, const char *> CoverageFlags[] = {
712 std::make_pair(CoverageFunc, "-fsanitize-coverage-type=1"),
713 std::make_pair(CoverageBB, "-fsanitize-coverage-type=2"),
714 std::make_pair(CoverageEdge, "-fsanitize-coverage-type=3"),
715 std::make_pair(CoverageIndirCall, "-fsanitize-coverage-indirect-calls"),
716 std::make_pair(CoverageTraceBB, "-fsanitize-coverage-trace-bb"),
717 std::make_pair(CoverageTraceCmp, "-fsanitize-coverage-trace-cmp"),
Kostya Serebryany3b419712016-08-30 01:27:03 +0000718 std::make_pair(CoverageTraceDiv, "-fsanitize-coverage-trace-div"),
719 std::make_pair(CoverageTraceGep, "-fsanitize-coverage-trace-gep"),
Kostya Serebryany52e86492016-02-18 00:49:23 +0000720 std::make_pair(Coverage8bitCounters, "-fsanitize-coverage-8bit-counters"),
Kostya Serebryany60cdd612016-09-14 01:39:49 +0000721 std::make_pair(CoverageTracePC, "-fsanitize-coverage-trace-pc"),
Kostya Serebryany50fb6182017-05-05 23:28:18 +0000722 std::make_pair(CoverageTracePCGuard, "-fsanitize-coverage-trace-pc-guard"),
Kostya Serebryany2c2fb882017-06-08 22:58:19 +0000723 std::make_pair(CoverageInline8bitCounters, "-fsanitize-coverage-inline-8bit-counters"),
Kostya Serebryany61457762017-07-28 00:10:10 +0000724 std::make_pair(CoveragePCTable, "-fsanitize-coverage-pc-table"),
Matt Morehouse5c7fc762017-08-18 18:43:30 +0000725 std::make_pair(CoverageNoPrune, "-fsanitize-coverage-no-prune"),
726 std::make_pair(CoverageStackDepth, "-fsanitize-coverage-stack-depth")};
Kostya Serebryany52e86492016-02-18 00:49:23 +0000727 for (auto F : CoverageFlags) {
728 if (CoverageFeatures & F.first)
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000729 CmdArgs.push_back(F.second);
Kostya Serebryany52e86492016-02-18 00:49:23 +0000730 }
731
Evgeniy Stepanov5c063c12016-06-14 23:21:19 +0000732 if (TC.getTriple().isOSWindows() && needsUbsanRt()) {
733 // Instruct the code generator to embed linker directives in the object file
734 // that cause the required runtime libraries to be linked.
735 CmdArgs.push_back(Args.MakeArgString(
Vedant Kumar5fb00e42016-07-27 23:01:55 +0000736 "--dependent-lib=" + TC.getCompilerRT(Args, "ubsan_standalone")));
Evgeniy Stepanov5c063c12016-06-14 23:21:19 +0000737 if (types::isCXX(InputType))
738 CmdArgs.push_back(Args.MakeArgString(
Vedant Kumar5fb00e42016-07-27 23:01:55 +0000739 "--dependent-lib=" + TC.getCompilerRT(Args, "ubsan_standalone_cxx")));
Evgeniy Stepanov5c063c12016-06-14 23:21:19 +0000740 }
741 if (TC.getTriple().isOSWindows() && needsStatsRt()) {
Vedant Kumar5fb00e42016-07-27 23:01:55 +0000742 CmdArgs.push_back(Args.MakeArgString("--dependent-lib=" +
743 TC.getCompilerRT(Args, "stats_client")));
Evgeniy Stepanov5c063c12016-06-14 23:21:19 +0000744
745 // The main executable must export the stats runtime.
746 // FIXME: Only exporting from the main executable (e.g. based on whether the
747 // translation unit defines main()) would save a little space, but having
748 // multiple copies of the runtime shouldn't hurt.
Vedant Kumar5fb00e42016-07-27 23:01:55 +0000749 CmdArgs.push_back(Args.MakeArgString("--dependent-lib=" +
750 TC.getCompilerRT(Args, "stats")));
Evgeniy Stepanov5c063c12016-06-14 23:21:19 +0000751 addIncludeLinkerOption(TC, Args, CmdArgs, "__sanitizer_stats_register");
752 }
753
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000754 if (Sanitizers.empty())
Alexey Samsonovcf055962013-08-08 10:11:02 +0000755 return;
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000756 CmdArgs.push_back(Args.MakeArgString("-fsanitize=" + toString(Sanitizers)));
757
Alexey Samsonov88459522015-01-12 22:39:12 +0000758 if (!RecoverableSanitizers.empty())
759 CmdArgs.push_back(Args.MakeArgString("-fsanitize-recover=" +
760 toString(RecoverableSanitizers)));
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000761
Peter Collingbourne9881b782015-06-18 23:59:22 +0000762 if (!TrapSanitizers.empty())
763 CmdArgs.push_back(
764 Args.MakeArgString("-fsanitize-trap=" + toString(TrapSanitizers)));
Alexey Samsonov1e715a62014-11-16 20:53:53 +0000765
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000766 for (const auto &BLPath : BlacklistFiles) {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000767 SmallString<64> BlacklistOpt("-fsanitize-blacklist=");
Alexey Samsonova511cdd2015-02-04 17:40:08 +0000768 BlacklistOpt += BLPath;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000769 CmdArgs.push_back(Args.MakeArgString(BlacklistOpt));
770 }
Ivan Krasin4c3f2372015-09-02 20:02:38 +0000771 for (const auto &Dep : ExtraDeps) {
772 SmallString<64> ExtraDepOpt("-fdepfile-entry=");
773 ExtraDepOpt += Dep;
774 CmdArgs.push_back(Args.MakeArgString(ExtraDepOpt));
775 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000776
777 if (MsanTrackOrigins)
Evgeniy Stepanov2bfcaab2014-03-20 14:58:36 +0000778 CmdArgs.push_back(Args.MakeArgString("-fsanitize-memory-track-origins=" +
779 llvm::utostr(MsanTrackOrigins)));
Evgeniy Stepanov45be9e02015-07-10 20:07:16 +0000780
781 if (MsanUseAfterDtor)
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000782 CmdArgs.push_back("-fsanitize-memory-use-after-dtor");
Evgeniy Stepanov45be9e02015-07-10 20:07:16 +0000783
Evgeniy Stepanov8a2bedb2016-11-11 23:17:36 +0000784 // FIXME: Pass these parameters as function attributes, not as -llvm flags.
785 if (!TsanMemoryAccess) {
786 CmdArgs.push_back("-mllvm");
787 CmdArgs.push_back("-tsan-instrument-memory-accesses=0");
788 CmdArgs.push_back("-mllvm");
789 CmdArgs.push_back("-tsan-instrument-memintrinsics=0");
790 }
791 if (!TsanFuncEntryExit) {
792 CmdArgs.push_back("-mllvm");
793 CmdArgs.push_back("-tsan-instrument-func-entry-exit=0");
794 }
795 if (!TsanAtomics) {
796 CmdArgs.push_back("-mllvm");
797 CmdArgs.push_back("-tsan-instrument-atomics=0");
798 }
799
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000800 if (CfiCrossDso)
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000801 CmdArgs.push_back("-fsanitize-cfi-cross-dso");
Evgeniy Stepanovfd6f92d2015-12-15 23:00:20 +0000802
Peter Collingbournedc134532016-01-16 00:31:22 +0000803 if (Stats)
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000804 CmdArgs.push_back("-fsanitize-stats");
Peter Collingbournedc134532016-01-16 00:31:22 +0000805
Evgeniy Stepanov6d2b6f02017-08-29 20:03:51 +0000806 if (MinimalRuntime)
807 CmdArgs.push_back("-fsanitize-minimal-runtime");
808
Kostya Serebryanyaed71a82014-10-09 17:53:04 +0000809 if (AsanFieldPadding)
810 CmdArgs.push_back(Args.MakeArgString("-fsanitize-address-field-padding=" +
811 llvm::utostr(AsanFieldPadding)));
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000812
Vitaly Buka9d4eb6f2016-06-02 00:24:20 +0000813 if (AsanUseAfterScope)
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000814 CmdArgs.push_back("-fsanitize-address-use-after-scope");
Vitaly Buka9d4eb6f2016-06-02 00:24:20 +0000815
Evgeniy Stepanovd991cdd2017-05-09 21:57:43 +0000816 if (AsanGlobalsDeadStripping)
817 CmdArgs.push_back("-fsanitize-address-globals-dead-stripping");
818
Sergey Matveev2ba87782015-02-17 15:09:33 +0000819 // MSan: Workaround for PR16386.
820 // ASan: This is mainly to help LSan with cases such as
821 // https://code.google.com/p/address-sanitizer/issues/detail?id=373
822 // We can't make this conditional on -fsanitize=leak, as that flag shouldn't
823 // affect compilation.
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000824 if (Sanitizers.has(Memory) || Sanitizers.has(Address))
Evgeniy Stepanovb86ca112017-05-09 21:57:39 +0000825 CmdArgs.push_back("-fno-assume-sane-operator-new");
Peter Collingbourne581f4382015-07-02 01:48:12 +0000826
Peter Collingbourne3afb2662016-04-28 17:09:37 +0000827 // Require -fvisibility= flag on non-Windows when compiling if vptr CFI is
828 // enabled.
829 if (Sanitizers.hasOneOf(CFIClasses) && !TC.getTriple().isOSWindows() &&
830 !Args.hasArg(options::OPT_fvisibility_EQ)) {
831 TC.getDriver().Diag(clang::diag::err_drv_argument_only_allowed_with)
832 << lastArgumentForMask(TC.getDriver(), Args,
833 Sanitizers.Mask & CFIClasses)
834 << "-fvisibility=";
835 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000836}
837
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000838SanitizerMask parseArgValues(const Driver &D, const llvm::opt::Arg *A,
839 bool DiagnoseErrors) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000840 assert((A->getOption().matches(options::OPT_fsanitize_EQ) ||
Alexey Samsonov88459522015-01-12 22:39:12 +0000841 A->getOption().matches(options::OPT_fno_sanitize_EQ) ||
842 A->getOption().matches(options::OPT_fsanitize_recover_EQ) ||
Peter Collingbourne9881b782015-06-18 23:59:22 +0000843 A->getOption().matches(options::OPT_fno_sanitize_recover_EQ) ||
844 A->getOption().matches(options::OPT_fsanitize_trap_EQ) ||
845 A->getOption().matches(options::OPT_fno_sanitize_trap_EQ)) &&
Alexey Samsonov799f7932014-12-19 02:35:16 +0000846 "Invalid argument in parseArgValues!");
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000847 SanitizerMask Kinds = 0;
Alexey Samsonov83791e22015-03-03 22:15:32 +0000848 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
849 const char *Value = A->getValue(i);
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000850 SanitizerMask Kind;
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000851 // Special case: don't accept -fsanitize=all.
852 if (A->getOption().matches(options::OPT_fsanitize_EQ) &&
853 0 == strcmp("all", Value))
854 Kind = 0;
Derek Bruening256c2e12016-04-21 21:32:04 +0000855 // Similarly, don't accept -fsanitize=efficiency-all.
856 else if (A->getOption().matches(options::OPT_fsanitize_EQ) &&
857 0 == strcmp("efficiency-all", Value))
858 Kind = 0;
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000859 else
Peter Collingbournebf59c342015-05-11 21:39:20 +0000860 Kind = parseSanitizerValue(Value, /*AllowGroups=*/true);
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000861
862 if (Kind)
863 Kinds |= Kind;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000864 else if (DiagnoseErrors)
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000865 D.Diag(clang::diag::err_drv_unsupported_option_argument)
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000866 << A->getOption().getName() << Value;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000867 }
Alexey Samsonovabd5bea2014-12-19 18:41:43 +0000868 return Kinds;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000869}
870
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000871int parseCoverageFeatures(const Driver &D, const llvm::opt::Arg *A) {
872 assert(A->getOption().matches(options::OPT_fsanitize_coverage) ||
873 A->getOption().matches(options::OPT_fno_sanitize_coverage));
874 int Features = 0;
875 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
876 const char *Value = A->getValue(i);
877 int F = llvm::StringSwitch<int>(Value)
878 .Case("func", CoverageFunc)
879 .Case("bb", CoverageBB)
880 .Case("edge", CoverageEdge)
881 .Case("indirect-calls", CoverageIndirCall)
882 .Case("trace-bb", CoverageTraceBB)
883 .Case("trace-cmp", CoverageTraceCmp)
Kostya Serebryany3b419712016-08-30 01:27:03 +0000884 .Case("trace-div", CoverageTraceDiv)
885 .Case("trace-gep", CoverageTraceGep)
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000886 .Case("8bit-counters", Coverage8bitCounters)
Kostya Serebryanyd4590c72016-02-17 21:34:43 +0000887 .Case("trace-pc", CoverageTracePC)
Kostya Serebryany60cdd612016-09-14 01:39:49 +0000888 .Case("trace-pc-guard", CoverageTracePCGuard)
Kostya Serebryany50fb6182017-05-05 23:28:18 +0000889 .Case("no-prune", CoverageNoPrune)
Kostya Serebryany2c2fb882017-06-08 22:58:19 +0000890 .Case("inline-8bit-counters", CoverageInline8bitCounters)
Kostya Serebryany61457762017-07-28 00:10:10 +0000891 .Case("pc-table", CoveragePCTable)
Matt Morehouse5c7fc762017-08-18 18:43:30 +0000892 .Case("stack-depth", CoverageStackDepth)
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000893 .Default(0);
894 if (F == 0)
895 D.Diag(clang::diag::err_drv_unsupported_option_argument)
896 << A->getOption().getName() << Value;
897 Features |= F;
898 }
899 return Features;
900}
901
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000902std::string lastArgumentForMask(const Driver &D, const llvm::opt::ArgList &Args,
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000903 SanitizerMask Mask) {
Alexey Samsonovcf055962013-08-08 10:11:02 +0000904 for (llvm::opt::ArgList::const_reverse_iterator I = Args.rbegin(),
905 E = Args.rend();
906 I != E; ++I) {
Alexey Samsonov799f7932014-12-19 02:35:16 +0000907 const auto *Arg = *I;
908 if (Arg->getOption().matches(options::OPT_fsanitize_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000909 SanitizerMask AddKinds =
910 expandSanitizerGroups(parseArgValues(D, Arg, false));
Alexey Samsonov799f7932014-12-19 02:35:16 +0000911 if (AddKinds & Mask)
912 return describeSanitizeArg(Arg, Mask);
913 } else if (Arg->getOption().matches(options::OPT_fno_sanitize_EQ)) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000914 SanitizerMask RemoveKinds =
915 expandSanitizerGroups(parseArgValues(D, Arg, false));
Alexey Samsonov799f7932014-12-19 02:35:16 +0000916 Mask &= ~RemoveKinds;
917 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000918 }
919 llvm_unreachable("arg list didn't provide expected value");
920}
921
Peter Collingbourne3eea6772015-05-11 21:39:14 +0000922std::string describeSanitizeArg(const llvm::opt::Arg *A, SanitizerMask Mask) {
Alexey Samsonov4c12c6c2014-11-14 02:59:20 +0000923 assert(A->getOption().matches(options::OPT_fsanitize_EQ)
924 && "Invalid argument in describeSanitizerArg!");
Alexey Samsonovcf055962013-08-08 10:11:02 +0000925
Peter Collingbourne32701642013-11-01 18:16:25 +0000926 std::string Sanitizers;
Alexey Samsonov83791e22015-03-03 22:15:32 +0000927 for (int i = 0, n = A->getNumValues(); i != n; ++i) {
Peter Collingbournebf59c342015-05-11 21:39:20 +0000928 if (expandSanitizerGroups(
929 parseSanitizerValue(A->getValue(i), /*AllowGroups=*/true)) &
930 Mask) {
Peter Collingbourne32701642013-11-01 18:16:25 +0000931 if (!Sanitizers.empty())
932 Sanitizers += ",";
Alexey Samsonov83791e22015-03-03 22:15:32 +0000933 Sanitizers += A->getValue(i);
Peter Collingbourne32701642013-11-01 18:16:25 +0000934 }
935 }
Alexey Samsonovcf055962013-08-08 10:11:02 +0000936
Peter Collingbourne32701642013-11-01 18:16:25 +0000937 assert(!Sanitizers.empty() && "arg didn't provide expected value");
938 return "-fsanitize=" + Sanitizers;
Alexey Samsonovcf055962013-08-08 10:11:02 +0000939}