文件名称:RangeAnalysis
文件大小:4.56MB
文件格式:ZIP
更新时间:2024-05-28 06:04:35
Python
范围分析 这是EECS,PKU编译课程的最终项目。 给定所有参数的范围,任务是确定特定函数的返回值范围。 程序为.ssa格式,由GCC编译器生成。 允许子功能调用。 运用了提出的“宽-窄-窄”方法。 该项目中仍然存在一些错误。 该项目的github主页是 要求 重新> = 2.2.1 pyinterval> = 1.2.1 疯狂 用法 使用以下命令运行范围分析。 它需要人工输入才能设置参数的范围。 python3 range_analysis [-P|--path SSA_FILE_PATH] [-M|--main MAIN_FUNCTION_NAME] 其他Python文件都是可运行的,并且每个文件都有特定的应用程序。 使用'-H'或'--help'选项进行查找。 SSA解析 第一步是解析SSA文件。 SSA文件在本项目中被视为原始输入,由GCC编译器生成,并且由于它们是临时的中
【文件预览】:
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)
----img()
--------t2_cfg_foo.png(14KB)
--------t2_cg_foo.png(71KB)
--------t2_ra_foo.png(5KB)
----assignment()
--------introduction.pptx(302KB)
--------Compilers__Assignment.pdf(305KB)
----output()
--------t4_foo.cg(866B)
--------t2_foo.cg(2KB)
--------t7_foo.cfg(469B)
--------t2_foo.png(66KB)
--------t7_foo.png(61KB)
--------t7_bar.cfg(1KB)
--------t9_foo.png(91KB)
--------t1_foo.png(10KB)
--------t1_foo.cg(2KB)
--------t7_bar.png(36KB)
--------t2_foo.cfg(2KB)
--------t7_foo.cg(2KB)
--------t9_foo.cg(3KB)
--------t1_foo.cfg(2KB)
--------t4_foo.png(37KB)
--------t7_bar.cg(948B)
----LICENSE(1KB)
----mid.pptx(120KB)
----src()
--------constraint.py(32KB)
--------symtab.py(4KB)
--------constraint_plot.py(4KB)
--------__pycache__()
--------range_analysis.py(15KB)
--------cfg_plot.py(5KB)
--------full_constraint.py(8KB)
--------full_constraint_plot.py(3KB)
--------cfg.py(27KB)
----reference()
--------Aho_A_V_Ullman_J_D.pdf(591KB)
--------Compiler Analysis of the Value Ranges for Variables.pdf(3.02MB)
----README.md(8KB)