<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:615603779;
mso-list-type:hybrid;
mso-list-template-ids:-2016371998 -2100541814 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l0:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:-;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:18.0pt;
text-indent:-18.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
mso-bidi-font-family:"Times New Roman";}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">Hello,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I’m quite new to LLVM, but I’m interested in memory sanitizer. The petty thing is, that 32bit addressing on Linux is not supported. Thus I tried to take the latest version of the software and to modify it, using Ubuntu 16.04 as operating
system. Given the example<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i>example.c:<o:p></o:p></i></p>
<p class="MsoNormal"><i>#include <stdio.h><o:p></o:p></i></p>
<p class="MsoNormal"><i>#include <stdlib.h><o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal"><i>int main(int argc, char **argv) {<o:p></o:p></i></p>
<p class="MsoNormal"><i> int *a = (int *)malloc(10*sizeof(10));<o:p></o:p></i></p>
<p class="MsoNormal"><i> a[5] = 0;<o:p></o:p></i></p>
<p class="MsoNormal"><i> if (a[argc])<o:p></o:p></i></p>
<p class="MsoNormal"><i> printf("xx\n");<o:p></o:p></i></p>
<p class="MsoNormal"><i> return 0;<o:p></o:p></i></p>
<p class="MsoNormal"><i>}<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">which I compiled with the command<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i>clang -fsanitize=memory -m32 -fPIE -pie -fno-omit-frame-pointer -g -Wl,-Map,example32.map example.c -oexample32.out<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I get now a segmentation fault during the execution:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><i>(gdb) r<o:p></o:p></i></p>
<p class="MsoNormal"><i>Starting program: /home/pusl/code/example32.out <o:p></o:p></i></p>
<p class="MsoNormal"><i>[Thread debugging using libthread_db enabled]<o:p></o:p></i></p>
<p class="MsoNormal"><i>Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p> </o:p></i></p>
<p class="MsoNormal"><i>Program received signal SIGSEGV, Segmentation fault.<o:p></o:p></i></p>
<p class="MsoNormal"><i>0x565e14f9 in main (argc=1448445640, argv=0xf7f1d3dc) at example.c:4<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I tried to figure out the issue, but as a newcomer to LLVM I don’t have any further idea now to get nearer to the root cause. Any new idea is welcome.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I changed 5 files. The diffs are:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoListParagraph" style="margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1">
<![if !supportLists]><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><b>cmake/config-ix.cmake</b>:<o:p></o:p></p>
<p class="MsoNormal"><i>diff --git a/cmake/config-ix.cmake b/cmake/config-ix.cmake<o:p></o:p></i></p>
<p class="MsoNormal"><i>index 04e33a0..d02e319 100644<o:p></o:p></i></p>
<p class="MsoNormal"><i>--- a/cmake/config-ix.cmake<o:p></o:p></i></p>
<p class="MsoNormal"><i>+++ b/cmake/config-ix.cmake<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -149,7 +149,7 @@ set(ALL_ASAN_SUPPORTED_ARCH ${X86} ${X86_64} ${ARM32} ${ARM64}<o:p></o:p></i></p>
<p class="MsoNormal"><i> ${MIPS32} ${MIPS64} ${PPC64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>set(ALL_DFSAN_SUPPORTED_ARCH ${X86_64} ${MIPS64} ${ARM64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>set(ALL_LSAN_SUPPORTED_ARCH ${X86_64} ${MIPS64} ${ARM64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>-set(ALL_MSAN_SUPPORTED_ARCH ${X86_64} ${MIPS64} ${ARM64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>+set(ALL_MSAN_SUPPORTED_ARCH ${X86} ${X86_64} ${MIPS64} ${ARM64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>set(ALL_PROFILE_SUPPORTED_ARCH ${X86} ${X86_64} ${ARM32} ${ARM64} ${PPC64}<o:p></o:p></i></p>
<p class="MsoNormal"><i> ${MIPS32} ${MIPS64})<o:p></o:p></i></p>
<p class="MsoNormal"><i>set(ALL_TSAN_SUPPORTED_ARCH ${X86_64} ${MIPS64} ${ARM64} ${PPC64})<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoListParagraph" style="margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1">
<![if !supportLists]><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><b>lib/msan/msan.h:<o:p></o:p></b></p>
<p class="MsoNormal"><i>diff --git a/lib/msan/msan.h b/lib/msan/msan.h<o:p></o:p></i></p>
<p class="MsoNormal"><i>index be74f6e..10b5b05 100644<o:p></o:p></i></p>
<p class="MsoNormal"><i>--- a/lib/msan/msan.h<o:p></o:p></i></p>
<p class="MsoNormal"><i>+++ b/lib/msan/msan.h<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -147,6 +147,26 @@ const MappingDesc kMemoryLayout[] = {<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define MEM_TO_SHADOW(mem) (LINEARIZE_MEM((mem)) + 0x100000000000ULL)<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SHADOW_TO_ORIGIN(shadow) (((uptr)(shadow)) + 0x280000000000)<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p></o:p></i></p>
<p class="MsoNormal"><i>+#elif SANITIZER_LINUX && SANITIZER_WORDSIZE == 32<o:p></o:p></i></p>
<p class="MsoNormal"><i>+<o:p></o:p></i></p>
<p class="MsoNormal"><i>+const MappingDesc kMemoryLayout[] = {<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x00000000ULL, 0x10000000ULL, MappingDesc::APP, "app-1"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x10000000ULL, 0x20000000ULL, MappingDesc::SHADOW, "shadow-1"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x20000000ULL, 0x30000000ULL, MappingDesc::ORIGIN, "origin-1"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x30000000ULL, 0x50000000ULL, MappingDesc::INVALID, "invalid"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x50000000ULL, 0x60000000ULL, MappingDesc::APP, "app-2"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x60000000ULL, 0x70000000ULL, MappingDesc::SHADOW, "shadow-2"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x70000000ULL, 0x80000000ULL, MappingDesc::ORIGIN, "origin-2"},
<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x80000000ULL, 0x90000000ULL, MappingDesc::SHADOW, "shadow-3"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0x90000000ULL, 0xa0000000ULL, MappingDesc::ORIGIN, "origin-3"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0xa0000000ULL, 0xf0000000ULL, MappingDesc::INVALID, "invalid"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ {0xf0000000ULL, 0xffffffffULL, MappingDesc::APP, "app-3"},<o:p></o:p></i></p>
<p class="MsoNormal"><i>+};<o:p></o:p></i></p>
<p class="MsoNormal"><i>+#define MOVE_MEM(mem) \<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ ((uptr)(mem) & ~0x80000000ULL)<o:p></o:p></i></p>
<p class="MsoNormal"><i>+#define MEM_TO_SHADOW(mem) (MOVE_MEM((mem)) + 0x10000000ULL)<o:p></o:p></i></p>
<p class="MsoNormal"><i>+#define SHADOW_TO_ORIGIN(mem) (((uptr)(mem)) + 0x10000000ULL)<o:p></o:p></i></p>
<p class="MsoNormal"><i>+<o:p></o:p></i></p>
<p class="MsoNormal"><i>#elif SANITIZER_LINUX && SANITIZER_WORDSIZE == 64<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p></o:p></i></p>
<p class="MsoNormal"><i> #ifdef MSAN_LINUX_X86_64_OLD_MAPPING<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoListParagraph" style="margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1">
<![if !supportLists]><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><b>lib/msan/msan_allocator.cc:<o:p></o:p></b></p>
<p class="MsoNormal"><i>diff --git a/lib/msan/msan_allocator.cc b/lib/msan/msan_allocator.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>index b7d3947..dae6d72 100644<o:p></o:p></i></p>
<p class="MsoNormal"><i>--- a/lib/msan/msan_allocator.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>+++ b/lib/msan/msan_allocator.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -49,7 +49,15 @@ struct MsanMapUnmapCallback {<o:p></o:p></i></p>
<p class="MsoNormal"><i> typedef SizeClassAllocator32<0, SANITIZER_MMAP_RANGE_SIZE, sizeof(Metadata),<o:p></o:p></i></p>
<p class="MsoNormal"><i> SizeClassMap, kRegionSizeLog, ByteMap,<o:p></o:p></i></p>
<p class="MsoNormal"><i> MsanMapUnmapCallback> PrimaryAllocator;<o:p></o:p></i></p>
<p class="MsoNormal"><i>-<o:p></o:p></i></p>
<p class="MsoNormal"><i>+#elif defined (__i386__)<o:p></o:p></i></p>
<p class="MsoNormal"><i>+static const uptr kMaxAllowedMallocSize = 3UL << 30;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ static const uptr kRegionSizeLog = 20;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ static const uptr kNumRegions = SANITIZER_MMAP_RANGE_SIZE >> kRegionSizeLog;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ typedef FlatByteMap<kNumRegions> ByteMap;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ typedef CompactSizeClassMap SizeClassMap;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ typedef SizeClassAllocator32<0, SANITIZER_MMAP_RANGE_SIZE, sizeof(Metadata),<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ SizeClassMap, kRegionSizeLog, ByteMap,<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ MsanMapUnmapCallback> PrimaryAllocator;<o:p></o:p></i></p>
<p class="MsoNormal"><i>#elif defined(__x86_64__)<o:p></o:p></i></p>
<p class="MsoNormal"><i>#if SANITIZER_LINUX && !defined(MSAN_LINUX_X86_64_OLD_MAPPING)<o:p></o:p></i></p>
<p class="MsoNormal"><i> static const uptr kAllocatorSpace = 0x700000000000ULL;<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoListParagraph" style="margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1">
<![if !supportLists]><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><b>lib/msan/msan_linux.cc:<o:p></o:p></b></p>
<p class="MsoNormal"><i>diff --git a/lib/msan/msan_linux.cc b/lib/msan/msan_linux.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>index d6a9588..ca59564 100644<o:p></o:p></i></p>
<p class="MsoNormal"><i>--- a/lib/msan/msan_linux.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>+++ b/lib/msan/msan_linux.cc<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -82,7 +82,7 @@ static void CheckMemoryLayoutSanity() {<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK_LT(start, end);<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK_EQ(prev_end, start);<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK(addr_is_type(start, type));<o:p></o:p></i></p>
<p class="MsoNormal"><i>- CHECK(addr_is_type((start + end) / 2, type));<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ CHECK(addr_is_type(start/2 + end/2, type));<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK(addr_is_type(end - 1, type));<o:p></o:p></i></p>
<p class="MsoNormal"><i> if (type == MappingDesc::APP) {<o:p></o:p></i></p>
<p class="MsoNormal"><i> uptr addr = start;<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -90,7 +90,7 @@ static void CheckMemoryLayoutSanity() {<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK(MEM_IS_ORIGIN(MEM_TO_ORIGIN(addr)));<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr)));<o:p></o:p></i></p>
<p class="MsoNormal"><i><o:p></o:p></i></p>
<p class="MsoNormal"><i>- addr = (start + end) / 2;<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ addr = start/2 + end/2;<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK(MEM_IS_SHADOW(MEM_TO_SHADOW(addr)));<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK(MEM_IS_ORIGIN(MEM_TO_ORIGIN(addr)));<o:p></o:p></i></p>
<p class="MsoNormal"><i> CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr)));<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoListParagraph" style="margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1">
<![if !supportLists]><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span><![endif]><b>lib/sanitizer_common/sanitizer_platform_interceptors.h:<o:p></o:p></b></p>
<p class="MsoNormal"><i>--- a/lib/sanitizer_common/sanitizer_platform_interceptors.h<o:p></o:p></i></p>
<p class="MsoNormal"><i>+++ b/lib/sanitizer_common/sanitizer_platform_interceptors.h<o:p></o:p></i></p>
<p class="MsoNormal"><i>@@ -211,7 +211,7 @@<o:p></o:p></i></p>
<p class="MsoNormal"><i> SI_FREEBSD || SI_MAC || SI_LINUX_NOT_ANDROID<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SANITIZER_INTERCEPT_ETHER_R SI_FREEBSD || SI_LINUX_NOT_ANDROID<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SANITIZER_INTERCEPT_SHMCTL \<o:p></o:p></i></p>
<p class="MsoNormal"><i>- ((SI_FREEBSD || SI_LINUX_NOT_ANDROID) && SANITIZER_WORDSIZE == 64)<o:p></o:p></i></p>
<p class="MsoNormal"><i>+ ((SI_FREEBSD || SI_LINUX_NOT_ANDROID) && (SANITIZER_WORDSIZE == 64 || defined(__i386__)))<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SANITIZER_INTERCEPT_RANDOM_R SI_LINUX_NOT_ANDROID<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SANITIZER_INTERCEPT_PTHREAD_ATTR_GET SI_NOT_WINDOWS<o:p></o:p></i></p>
<p class="MsoNormal"><i>#define SANITIZER_INTERCEPT_PTHREAD_ATTR_GETINHERITSCHED \<o:p></o:p></i></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="DE" style="font-size:10.0pt;font-family:"Arial",sans-serif">Stefan Pusl<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<p><font style="font-size: 9px;">Intel Deutschland GmbH<br>
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany<br>
Tel: +49 89 99 8853-0, www.intel.de<br>
Managing Directors: Christin Eisenschmid, Christian Lamprechter<br>
Chairperson of the Supervisory Board: Nicole Lau<br>
Registered Office: Munich<br>
Commercial Register: Amtsgericht Muenchen HRB 186928</font><br>
</p>
</body>
</html>