静态程序分析（一）：如何构建思维导图及内容概述？

本文共计2826个文字，预计阅读时间需要12分钟。

《Static Program Analysis》读书笔记：作者Anders Møller和Michael I. Schwartzbach，出版于2022年2月1日。本系列文章为静态程序分析的学习笔记，关注微信公众账号安全科研人，分享静态分析相关知识。

​

本系列文章为，基于奥尔胡斯大学的Anders Møller 和 Michael I. Schwartzbach两位教授于2022年2月1日所出版的《static program analysis》，的读书笔记

关注微信公众号 信安科研人，发送“静态分析1”获取书籍英文原版pdf

​

编辑

---

目录

一 大纲

​编辑

二 静态程序分析简介

2.1 静态分析的应用

2.2 静态分析是一种近似的结果，莱斯定理

三 TIP语言 tiny imperative programming language

3.1 TIP语言实例

3.2TIP的语法

3.3 范式

---

一 大纲 ​编辑

关注公众号信安科研人，发送“静态分析思维导图”获取导图

二 静态程序分析简介 2.1 静态分析的应用

1. 程序优化分析：优化编译器（包括解释器中的即时编译器），以便生成有效的代码。
2. 程序正确性分析：设计用于检测程序错误（或验证是否存在错误）
3. 程序开发分析：举个例子，第117行可能调用哪些函数，或者相反，函数f可能从何处调用？函数内联和其他重构依赖于这些信息。