Principles of Program Analysis
文章平均质量分 78
「已注销」
编程语言,编译器,静态分析,类型系统
展开
-
Principles of Program Analysis -- 可用表达式分析
目录可用表达式分析 available expressions analysis例子静态分析框架什么是计算副作用分析形式化求值结论课后作业编程作业本文将通过一个简单的例子来体现静态分析的应用.可用表达式分析 available expressions analysis可用表达式分析指的是在没一个程序点,哪个表达式在所有到达此处的路径上已经被计算过了且没有修改. 如果被计算过了,那么我们可以复用原值. 英文说明在此处.例子以上程序,的值在程序点.原创 2021-12-15 07:47:21 · 927 阅读 · 0 评论 -
Principles of Program Analysis-背景设置
编译器通常使用静态分析来进行程序优化, 也可以帮助IDE进行智能提示. 如下便是一个例子:#include <stdio.h>int main(){ printf("Hello World"); return 0; //IDE会提示不可达 printf("Unreachable code");}静态分析的书真心不多(可能太小众了),这本书算一本.虽然比较老(20年前的书了),但是里面的思想现在还用得到.现在以及近期的博客都会介绍原创 2021-12-11 04:26:35 · 458 阅读 · 0 评论 -
Principles of Program Analysis 数据流分析需要的信息
静态分析,数据流分析原创 2021-12-11 05:29:44 · 250 阅读 · 0 评论