Static Program Analysis Book

简介
前言
- 写在前面
  - 为什么是这本书？
  - 资料来源与版权信息
- 课程介绍与实验进度安排
数据流分析
过程间分析
- 过程间分析简介
指针分析
- 指针分析简介
- 指针分析进阶
  - 上下文敏感分析（上）
  - 上下文敏感分析（下）
指针分析应用与声明式实现
- 应用——污点分析
- 实现——声明式指针分析
其他话题
- 另一种静态分析框架——IFDS
- 从Soundness到Soundiness

由 GitBook 提供支持

在本页

Datalog-Based Program Analysis
Motivation
Introduction to Datalog
Data
Logic
Rule Satety
Execution of Datalog Program
Pointer Analysis via Datalog
Datalog Model-EDB&IDB
Datalog Rules
Example
PA with Calls
Taint Analysis via Datalog
Datalog Model
Datalog Rules
Key Points

这有帮助吗？

指针分析应用与声明式实现

实现——声明式指针分析

上一页应用——污点分析下一页另一种静态分析框架——IFDS

最后更新于2年前

这有帮助吗？

本站使用 cookie 来提供服务并分析流量。浏览本站，即表示您接受隐私政策。