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

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

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

《富爸爸，穷爸爸》是作者罗伯特·清崎的真实故事，是不错的理财启蒙书，对于塑造我们的财富观念有帮助。

代码 bug 总在不经意间出现，导演了一出出 crash 的悲剧。为了扼杀 bug 于襁褓之中，本文介绍的主角 Sanitize 挺身而出，致力于解决内存泄露、缓冲区溢出和未定义行为。