笔记

目录

编程笔记

读码笔记

• cwe_checker
  CWE-119 漏洞分析
• Falcon

读书笔记

• 格论导引
  格的基本概念
• Introduction to Lattice Algebra With Applications
  1.1 集合、函数与符号1.2 代数结构2.1 实数集的基本性质第二章. 欧几里得空间相关特性第一章. 集合、函数与符号

论文笔记

• 二进制代码安全分析综述
• A Survey on Binary Code Vulnerability Mining Technology
• Automated Binary Analysis: A Survey
• Empirical Study for Open Source Libraries in Automotive Software Systems

逆向笔记

• CTF