C++ 的析构函数，通常是用来在生命周期结束时释放对象的。最近看到了关于析构函数的一些坑，本文会有介绍，并不是最全的，但也算是一些记录。

读了一本关于 WebAssembly 虚拟机实现的书 ——《WebAssembly 原理与核心技术》，这本书写得非常详细，也有实现的源码讲解。本文是对阅读时所做的粗略的笔记。

代码分析工具层出不穷，编译器本身也内置了大量的静态检查，但分析的数据源较为单一。而本文要介绍的，是集众之所长的代码分析属性图 CPG，在漏洞分析上很有帮助。

《时间的秩序》是意大利理论物理学家的作品，他用这部作品带我们探索时间的本质，以他的视角向大众做物理科普。

在 LLVM 的类型系统中，进行两个类型是否等价的判断，对于做代码分析而言是很重要的，本文将介绍遇到的难题以及解决的方法。