Jiahao Luo

综合介绍信息安全与密码学基础，涵盖数论算法、伪随机数生成器、RSA非对称加密、对称密码算法等，提供完整的C++代码实现和OpenSSL库使用指南。

深入探讨指针分析和别名分析，讲解流敏感性、路径敏感性、上下文敏感性和域敏感性等概念，介绍 Andersen 和 Steensgaard 算法，以及基于 CFL 可达性的域敏感分析方法。

详细介绍默克尔树准备金证明技术，分析其在加密货币交易所透明度验证中的应用，包括实时认证、MPC门限签名方案等改进方案。

深入分析DFX Finance闪电贷重入攻击案例，详解攻击者如何利用Curve合约的闪电贷回调机制实现空手套白狼，揭示DeFi合约中余额检查的安全漏洞。

详细介绍过程间分析的基本原理和方法，包括克隆和上下文敏感性分析、递归函数处理、CFL-可达性技术，以及基于动态规划和函数摘要的加速优化策略。

详细介绍 Def-Use 关系和静态单赋值（SSA）形式，讲解支配性、支配边界等概念，分析如何通过稀疏分析优化数据流分析的效率，以及部分 SSA 的处理方法。

全面介绍逻辑式编程语言Datalog和其实现Souffle，讲解其语法特性、数据类型和内置函数，并通过传递闭包、数据流分析和指针分析等实例展示在程序分析中的应用。

系统介绍数据流分析的基本概念和方法，包括符号分析、活跃变量分析、单调框架和格理论基础，讨论数据流分析的收敛性、安全性和分配性，以及widen和narrow优化技术。

Geth以太坊客户端源码学习入门指南，包括环境搭建、项目结构介绍、常用术语说明及源码分析参考资源汇总。

详细介绍扩展欧几里得算法和乘法逆元的数学原理与编程实现，包括辗转相除法、裴蜀等式、回溯过程等关键概念，提供C++和Haskell代码示例。