• 引言
• sig文件
• 制作sig文件
  • 1.用obj/lib文件制造PAT文件
  Read More

• IOT fuzz 现状
• 解决方案
  • 1. Static Instrumentation
  • Read More

在学习了将近一个月的static analysis 的理论部分后，我发现得对它做个纵向的归纳，方便理解.

• 1. static analysis来自于哪 Read More

• 1. Motivation
• 2. Introduction to Datalog
• 3. Pointer A...

• 1. Information Flow Security
• 2. Confidentiality and Integrity
• Read More

• 1. Introduction
• 2. Context Sensitive Pointer Analysis: Rules
• Read More

• 1. Pointer Analysis: Rules
• 2. How to Implement Pointer Analysis
• Read More