Jiahao Luo

系统阐述信息论基础理论，包括离散信源熵、信道编码、信道容量、香农编码、费诺编码、赫夫曼编码等核心概念，深入探讨信息传输与压缩的数学原理。

深入理解Haskell中的Monad概念，从理论基础到实际应用，包括Functor、Applicative和Monad的层次结构，以及错误处理和副作用管理的实践。

深入学习x86汇编语言编程，涵盖微处理器结构、寄存器使用、指令系统、寻址方式、程序设计等内容，基于MASM语法提供完整的汇编编程教程。

全面阐述操作系统核心概念，包括进程线程管理、内存管理、文件系统、死锁处理、调度算法等重要主题，适合计算机专业学生和系统开发人员学习参考。

分析JayPeggers协议遭受的重入攻击事件，损失约15 ETH，揭示攻击者如何通过操控代币价格计算逻辑和利用ERC721合约重入实现套利。

实际体验常用的静态程序分析工具和框架，包括 Soot、Doop、Z3、STP、Tai-e 和 KLEE 等，介绍它们的安装配置、基本使用和应用场景，帮助读者了解静态分析工具的实际应用。

介绍程序分析中的“搜索”方法，讲解约束求解、SAT和SMT理论的基本概念，详细介绍符号执行的原理和实现，包括路径爆炸问题和动态符号执行等优化方法。

深入探讨程序分析的理论基础——抽象解释理论，包括伽罗瓦连接、抽象域的安全性、关系抽象和谓词抽象等核心概念，并通过具体示例演示抽象解释工具的应用。

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

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