llvm.org GIT mirror llvm / 588bf7b
[asan] Move instrumented null-terminated strings to a special section, LLVM part On Darwin, simple C null-terminated constant strings normally end up in the __TEXT,__cstring section of the resulting Mach-O binary. When instrumented with ASan, these strings are transformed in a way that they cannot be in __cstring (the linker unifies the content of this section and strips extra NUL bytes, which would break instrumentation), and are put into a generic __const section. This breaks some of the tools that we have: Some tools need to scan all C null-terminated strings in Mach-O binaries, and scanning all the contents of __const has a large performance penalty. This patch instead introduces a special section, __asan_cstring which will now hold the instrumented null-terminated strings. Differential Revision: https://reviews.llvm.org/D25026 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@285619 91177308-0d34-0410-b5e6-96231b3b80d8 Kuba Brecka 4 years ago
2 changed file(s) with 29 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
15341534 NewGlobal->copyAttributesFrom(G);
15351535 NewGlobal->setAlignment(MinRZ);
15361536
1537 // Move null-terminated C strings to "__asan_cstring" section on Darwin.
1538 if (TargetTriple.isOSBinFormatMachO() && !G->hasSection() &&
1539 G->isConstant()) {
1540 auto Seq = dyn_cast(G->getInitializer());
1541 if (Seq && Seq->isCString())
1542 NewGlobal->setSection("__TEXT,__asan_cstring,regular");
1543 }
1544
15371545 // Transfer the debug info. The payload starts at offset zero so we can
15381546 // copy the debug info over as is.
15391547 SmallVector GVs;
0 ; This test checks that instrumented global C (null terminated) strings are put into a special section on Darwin.
1 ; RUN: opt < %s -asan -asan-module -S | FileCheck %s
2
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-apple-macosx10.10.0"
5
6 ; Should be put into __asan_cstring section:
7 @.str.1 = private unnamed_addr constant [13 x i8] c"Hello world.\00", align 1
8 @.str.2 = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
9
10 ; CHECK: @.str.1 = internal unnamed_addr constant { [13 x i8], [51 x i8] } { [13 x i8] c"Hello world.\00", [51 x i8] zeroinitializer }, section "__TEXT,__asan_cstring,regular", align 32
11 ; CHECK: @.str.2 = internal unnamed_addr constant { [4 x i8], [60 x i8] } { [4 x i8] c"%s\0A\00", [60 x i8] zeroinitializer }, section "__TEXT,__asan_cstring,regular", align 32
12
13 ; Shouldn't be put into special section:
14 @.str.3 = private unnamed_addr constant [4 x i8] c"\00\01\02\03", align 1
15 @.str.4 = private unnamed_addr global [7 x i8] c"Hello.\00", align 1
16 @.str.5 = private unnamed_addr constant [8 x i8] c"Hello.\00\00", align 1
17
18 ; CHECK: @.str.3 = internal unnamed_addr constant { [4 x i8], [60 x i8] } { [4 x i8] c"\00\01\02\03", [60 x i8] zeroinitializer }, align 32
19 ; CHECK: @.str.4 = private unnamed_addr global { [7 x i8], [57 x i8] } { [7 x i8] c"Hello.\00", [57 x i8] zeroinitializer }, align 32
20 ; CHECK: @.str.5 = internal unnamed_addr constant { [8 x i8], [56 x i8] } { [8 x i8] c"Hello.\00\00", [56 x i8] zeroinitializer }, align 32