文章

目录

成分分析

• 相似性分析

理论知识

• 不动点
• 抽象解释
  相关数学基础
• 格理论
  发展历程格的定义
• 形式概念分析
  发展历程概念格
• Appendix：相关问题

漏洞检测

• 抽象解释
• 符号执行
• 深度学习
• 形式概念分析
• Fuzzing