本文深入分析了 AddressSanitizer Allocator 的实现。

以前看到过很多人在博客上分享自己的年度总结，正好今年我也 github pages 上搭建了自己的博客，所以今年也在这里回顾下 2022 年的自己。

本文首先介绍了 C++ 中的 strict aliasing rule，然后深入分析编译器是如何利用 strict aliasing rule 对程序进行分析优化的，之后介绍了检测 strict aliasing violation 的动态分析工具 TypeSanitizer，最后介绍如何在编程时避免写出 strict aliasing violation 的代码。

本文深入剖析 ThreadSanitizer(V2) 检测 Data Race 背后的算法原理。

本文以 ASan 为例分析 sanitizer runtime 是如何获取和保存 stack trace 的。

本文分析了 sanitizer 是如何做到替换 malloc, free, memcpy 这些库函数的实现的。即 sanitizer 中的 interceptor 机制。

本文分析了 sanitizer runtime 是如何做到在程序启动之前进行初始化的。

本文深入剖析 GWP-ASan 这一概率性内存错误检测工具的原理。

本文描述了如何实现一个简单的 sanitizer 。

本文是对 A Tree Clock Data Structure for Causal Orderings in Concurrent Executions (ASPLOS’22) 这篇论文的学习笔记。

个人感觉这篇文章非常精妙，提出了 tree clock 这种数据结构来替代目前 Data Race 检测算法中广泛使用的数据结构 vector clock，极大的改善了计算 happen-before 关系时的时间复杂度。