文件名称：RangeAnalysis:这是针对编译类的
文件大小：2.45MB
文件格式：ZIP
更新时间：2024-05-22 23:51:39
Python
Range Analysis 编译原理 大作业 简单C++程序的范围分析 孙培艺 1500012899 1. 实验说明 **作业要求：**针对静态单赋值（SSA）形式的函数中间代码输入，输出函数返回值的范围。 实现思路： 基本根据 2013年在CGO会议上提出的“三步法”范围分析法加以实现[3]，求得各个变量的范围。 **算法优势：**空间复杂度和时间复杂度都是$O(n)$，效率高。 算法瓶颈： “三步法”的功能存在较大局限，它只能分析各个变量的最大范围，对活跃变量只做了最简单的考虑，因此最终得到的范围比较不准确，往往只能得到范围的一个界。 2. 项目使用 python main.py （ssa文件路径在main.py中设置） 不需要安装任何库。 3. 算法原理 **简单概括：**采用三步法（2013年在CGO会议上提出） 具体介绍： 我将算法原理和基本步骤详细地整理成了一份PPT，详见/
【文件预览】：
RangeAnalysis-master
----benchmark()
--------t10.c(234B)
--------t10.ssa(543B)
--------t5.ssa(507B)
--------t5.c(203B)
--------t7.ssa(576B)
--------t2.ssa(574B)
--------t1.c(229B)
--------t8.ssa(794B)
--------t7.c(217B)
--------t6.c(245B)
--------t2.c(238B)
--------t3.c(264B)
--------t8.c(383B)
--------t3.ssa(690B)
--------t6.ssa(569B)
--------t1.ssa(586B)
--------t4.c(168B)
--------t9.ssa(807B)
--------t4.ssa(352B)
--------t9.c(219B)
----docs()
--------A fast and low-overhead technique to secure programs against integer overflows.pdf(591KB)
--------README.pdf(535KB)
--------Compilers__Assignment.pdf(305KB)
--------A Fast and Low-Overhead Technique to Secure Programs.pptx(1.17MB)
----src()
--------main.py(109B)
--------structure.py(7KB)
--------eSSAConstraintGraph.py(30KB)
--------rangeAnalysis.py(30KB)
----README.md(11KB)