Fangrui Song MaskRay

AddressSanitizer (ASan) is a compiler technology that checks addressability-related memory errors with some add-on checks. It consists of two parts: compiler instrumentation and runtime library. To put it in the simplest way,

The compiler instruments global variables, stack frames, and heap allocations to track shadow memory.
The compiler instruments memory access instructions to check shadow memory.
In case of an error, the inserted code calls a callback (implemented in the runtime library) to report an error with a stack trace. Normally the program will exit after the error message is printed.

Clang 3.1 implemented AddressSanitizer in 2011. GCC 4.8 integrated AddressSanitizer in 2012. MSVC (starting in Visual Studio 2019 version 16.9) added /INFERASANLIBS.

theme: ./theme class: text-center highlighter: shiki lineNumbers: false drawings: persist: false css: unocss routerMode: hash title: Optimize lld/ELF

glibc functions perform stack unwinding mainly in two places, pthread_exit/pthread_cancel, and backtrace-family functions.

`pthread_exit`/`pthread_cancel`.

Here is a C++ program that calls pthread_exit. Shall the destructors ~A and ~B be called?

#include <pthread.h>
#include <stdio.h>

void foo() { pthread_exit(NULL); }

In the kernel source directory, run

make O=/tmp/linux/arm64 ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- -j60 defconfig all

Then create an Alpine aarch64 image following https://hackmd.io/@starnight/Run_Alpine_on_QEMU_aarch64_Virtual_Machine

wget https://dl-cdn.alpinelinux.org/alpine/latest-stable/releases/aarch64/netboot/vmlinuz-lts https://dl-cdn.alpinelinux.org/alpine/latest-stable/releases/aarch64/netboot/config-lts

	https://reviews.llvm.org/D1 Abandoned Test klimek
	https://reviews.llvm.org/D6 Abandoned Update all diagnostic messages in DiagnosticSemaKinds.td to use the new diffing format for types. rtrieu
	https://reviews.llvm.org/D7 Abandoned test dblaikie
	https://reviews.llvm.org/D9 Abandoned Test for playing around with emails klimek
	https://reviews.llvm.org/D10 Abandoned A new test revision for funz klimek
	https://reviews.llvm.org/D11 Abandoned Let's try again klimek
	https://reviews.llvm.org/D12 Abandoned And yet another test klimek
	https://reviews.llvm.org/D13 Abandoned test klimek
	https://reviews.llvm.org/D14 Abandoned Test test klimek
	https://reviews.llvm.org/D16 Abandoned Big test klimek

	#!/bin/zsh
	CC=/tmp/Rel/bin/clang
	if [[ -n $1 ]]; then
	update=1
	echo updated
	else
	update=
	fi

	[[ ! -e a.cc ]] && echo 'void bar(char *); void foo() { char a[200]; bar(a); }' > a.cc

	#!/usr/bin/env python3
	import re, subprocess, sys

	def main():
	for line in open(sys.argv[1]).readlines():
	line = line.strip()
	m = re.match(r'Clang :: (.*)', line)
	if not m: continue
	name = m.group(1)
	print(name)

	cmake_minimum_required(VERSION 3.14)
	project(cminify LANGUAGES C CXX)

	add_executable(cminify "")
	set(DEFAULT_CMAKE_BUILD_TYPE Release)
	set_property(TARGET cminify PROPERTY CXX_STANDARD 17)
	set_property(TARGET cminify PROPERTY CXX_STANDARD_REQUIRED ON)
	set_property(TARGET cminify PROPERTY CXX_EXTENSIONS OFF)

	find_package(Clang REQUIRED)

	# Build malloc implementations.
	mkdir -p /tmp/p
	pushd /tmp/p
	if [[ ! -d jemalloc ]]; then
	git clone https://github.com/jemalloc/jemalloc
	(cd jemalloc
	./autogen.sh
	mkdir -p out/release && cd out/release
	../../configure && make -j $(nproc))
	fi

	//__attribute__((gnu_inline))
	EXTERN inline int foo(int a) { return a * a; }
	int bar(int a) { return foo(a+1); }

Fangrui Song MaskRay

pthread_exit/pthread_cancel.

`pthread_exit`/`pthread_cancel`.