Principles of Program Analysis -- 可用表达式分析

最新推荐文章于 2022-10-25 14:12:34 发布
最新推荐文章于 2022-10-25 14:12:34 发布
阅读量713 收藏 1
点赞数
分类专栏： Principles of Program Analysis 文章标签： 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_64871537/article/details/121943916
版权

目录

可用表达式分析 available expressions analysis

例子

静态分析框架

什么是计算

副作用分析

形式化

求值

结论

课后作业

编程作业

本文将通过一个简单的例子来体现静态分析的应用.

可用表达式分析 available expressions analysis

可用表达式分析指的是在没一个程序点,哪个表达式在所有到达此处的路径上已经被计算过了且没有修改. 如果被计算过了,那么我们可以复用原值. 英文说明在此处.

例子

\large [x:=a+b]^1; [y:=a*b]^2; while\ [y>a+b]^3 do ([a:=a+1]^4;[x:=a+b]^5)

以上程序, \large (a+b)的值在程序点3的位置都是不需要计算的. 因为未进入while循环之前, 其值在1处被计算. 进入循环之后,其值在5处被计算. 那就意味着,编译器可以在程序点3复用以前的值,从而优化程序.

静态分析框架

什么是计算

首先,我们来探讨一下计算. 我修的是计算科学, 到底计算机科学的根本问题是什么呢? 其实就是计算问题. 无论什么编程语言, 使用他们的最终目的都是为了计算. 操作系统也是,都是为了计算提供便利.

但是,在编程语言理论中,有一点有趣的就是,有些计算是有副作用的. 比如你在堆上分配了一个变量,然后函数调用不小心修改了它,以致后来出现了bug.这就是副作用的例子之一. 关于计算的入门会在后来的博客话题"类型和效果(type and effect systems)"中介绍.

副作用分析

最低0.47元/天 解锁文章
「已注销」
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
【软件分析/静态分析】chapter3 课程03/04 数据流分析的应用（Data Flow Analysis）
qq_46485137的博客
06-14 784
DataFlowAnalysis 研究的是 HowDataFlowsonCFG?即数据流是如何在控制流图中运行的。实际上，不同的数据流分析应用面对的Data是不一样的。例如上一章中分析的【正负零】的问题中，关注的data就是正负零，通过CFG（a program）中的边（control flows）和节点（BBs/statementes）进行分析。第一节课里讲过，绝大多数静态分析是牺牲了completeness，来追求soundness，但是精度不能保证。
Principles of Program Analysis
10-26
2004年最新版，完全版，单页扫描；现在CSDN中的其他文件都是1999年的不完全版，注意区分啊。
[我读]Principles of Program Analysis - book
weixin_30673611的博客
11-23 178
http://www2.imm.dtu.dk/~riis/PPA/ppasup2004.html 这本书里面包含了一些程序分析的基本概念 转载于:https://www.cnblogs.com/wanzhiyuan/archive/2011/11/23/2260530.html
【软件分析/静态程序分析学习笔记】4.数据流分析(下)：存活变量分析(Live Variables Analysis)及可用表达式分析(Available Expressions Analysis)
zhang971105的博客
10-23 3136
Reaching Definitions表示只要从赋值语句到点p存在1条路径，则为reaching，结果不一定正确；Live Variables表示只要从点p到Exit存在1条路径使用了变量v，则为live，结果不一定正确；Available Expressions表示从Entry到点p的每一条路径都经过了该表达式，则为available，结果肯定正确。
程序分析原理（Principles of Program Analysis）
11-01
程序分析原理（Principles of Program Analysis）
下周开始读《Principles of Program Analysis》
weixin_33733810的博客
06-02 374
这几天都在考试，考完之后读这本书。 就这样。 转载于:https://www.cnblogs.com/crlf0710/archive/2011/06/02/2069612.html
Principles of Program Analysis完美目录（1-4章）
06-26
Principles of Program Analysis1-4章，带目录
Principles of Instrumental Analysis, 7th Edition
12-14
Principles of Instrumental Analysis, 7th Edition 很不错应用资料，值得学习，分享给大家，希望你们有收获；
principles of real analysis-2(Text)
02-23
共两卷,这是第二卷. 中文书名<实分析原理>. 这本书很好,人邮出版社的图灵统计系列中的 《实分析习题集》为本书的全部习题的解答。
Principles of Program Analysis 数据流分析需要的信息
weixin_64871537的博客
12-11 200
静态分析,数据流分析
Principles of Program Analysis-背景设置
weixin_64871537的博客
12-11 294
编译器通常使用静态分析来进行程序优化, 也可以帮助IDE进行智能提示. 如下便是一个例子: #include <stdio.h> int main() { printf("Hello World"); return 0; //IDE会提示不可达 printf("Unreachable code"); } 静态分析的书真心不多(可能太小众了),这本书算一本.虽然比较老(20年前的书了),但是里面的思想现在还用得到.现在以及近期的博客都会介绍
【编译原理笔记18】代码优化：活跃变量分析，可用表达式分析
记录学习痕迹的公众号：Piper蛋窝
08-15 7458
关于活跃变量与可用表达式的分析。
数据流分析：可用表达式的计算+活跃变量计算+到达定值。
qq_43391414的博客
12-08 1694
引言 什么是可用表达式和活跃变量？假设有如下代码： int main() { int a=1,b=2,c=1; int x=a+b+b+b+b; int y=a+b+b+b+b; int z=a+b+b+b+b; return 0; } 可用表达式： 举例来说，a+b+b+b+b就是可用表达式，如果不加以优化，其将被计算三次，太浪费了，所以编译优化过程要求发现这个可用表达式。 活跃变量： 举例来说，a,b就是活跃变量，c是不活跃变量，前者叫做live，后者叫做dead。 上面只是直观的理解了以
静态程序分析chapter3 - 数据流分析详述（Reaching Definitions、Live Variables、Available Expressions Analysis）
Little_ant_的博客
07-17 2534
数据流分析的基本流程：首先对问题进行分析，分析之后能够得到 **如何抽象**，**采用前向还是后向**，**采用 may 还是 must** 和**在边界处的初始化值**，然后在确定了采用 may 或 must 之后，就可以得到 **除边界外的初始化语句值** 和 **控制流处理采用 与 or 或**。 三个应用： 1，Reaching Definitions Analysis 2，Live Variables Analysis 3， Available Expressions Analysis
数据流分析（三）
电影旅行敲代码
02-29 6386
引子在数据流分析（一）和数据流分析（二）中我们介绍了数据流分析的基本模式以及到达定值和活变量的分析。在这篇文章中我们简要介绍一下可用表达式和数据流分析中的格。 可用表达式 数据流分析中的格 可用表达式 如果从流图入口结点到达程序点 p 的每条路径都对表达式 x + y 求值，且从最后一个这样的求值之后到p点的路径上没有再次对x或y赋值，那么 x + y 在 p 点上可用(available)。
编译器设计(十)——数据流分析
yelvens的博客
10-25 2184
数据流分析是用于编译时程序分析的经典技术，它使编译器能够推断程序中的值在运行时的流动。在简单的情况下，静态分析可以生成精确的结果，此时编译器能够确切地知道在代码执行时到底将发生什么。如果编译器能够推导出精确信息，那么它可以将表达式或函数的运行时求值操作替换为对（编译时预计算）结果的立即数加载操作。另一方面，如果代码从任何外部来源读取值、涉及（即使很少的）控制流，或者遇到具有歧义的内存引用（指针、数组引用或引用调用参数），那么静态分析会变得困难得多，而分析的结果也会变得不那么精确。
表达式语法分析——预测分析法
shadowam的博客
11-13 2332
Problem Description  预测分析法是自顶向下分析的一种方法，一个预测分析程序是由三个部分组成： (1) 预测分析程序 (2) 先进后出栈 (3) 预测分析表 现给出表达式文法： E→TG G→+TG | ε T→FS S→*FS | ε      F→(E) | i 该表达式文法是LL(1)文法，其预测分析表为： 请根据该预测分析表构造预测分析程序，完成对...
python lr语法分析算术表达式
最新发布
12-27
Python是一种高级编程语言，可以用于进行语法分析和实现算术表达式的计算。LR语法分析是一种自底向上的分析方法，可以被用来解析不同类型的文法。 在Python中，可以使用工具如Ply或者Lark来进行LR语法分析。首先需要定义文法规则，然后使用LR语法分析器来解析输入的算术表达式。 例如，我们可以定义一个简单的算术表达式的文法规则如下： ``` expression : expression PLUS term | expression MINUS term | term term : term TIMES factor | term DIVIDE factor | factor factor : NUMBER | LPAREN expression RPAREN ``` 这里的规则定义了加减乘除的优先级和结合性，以及括号的使用。然后，我们可以使用LR语法分析器来解析输入的算术表达式，得到解析树或者计算结果。 在Python中，可以通过编写相应的解析器类来实现LR语法分析，根据定义的文法规则来构建解析树，并根据解析树进行算术表达式的计算。 总的来说，Python可以通过使用LR语法分析来解析和计算算术表达式，这需要先定义文法规则，然后使用相应的语法分析器来进行解析和计算。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值