第一讲-数据流分析技术应用-程序分析技术-研究生课件.ppt

《第一讲-数据流分析技术应用-程序分析技术-研究生课件.ppt》由会员分享，可在线阅读，更多相关《第一讲-数据流分析技术应用-程序分析技术-研究生课件.ppt（15页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、程序分析技术程序分析技术第一讲：第一讲：程序设计语言的发展程序设计语言的发展一、程序分析的任务一、程序分析的任务以程序为对象，分析其属性，如：以程序为对象，分析其属性，如：值的获取与传播值的获取与传播活跃性活跃性2二、程序分析技术的应用二、程序分析技术的应用1.1.程序转换程序转换2.2.程序理解程序理解3.3.程序演化程序演化4.4.程序逆向工程程序逆向工程35.5.程序验证与测试程序验证与测试6.6.程序优化程序优化7.7.重构重构8.8.自动并行化自动并行化9.9.4三、三、程序设计语言的发展程序设计语言的发展机器语言机器语言指令：指令：二进制组成二进制组成具有基本操作，左具有基本操作，

2、左移、右移、加移、右移、加1 1缺点：缺点：可读性差（可理解可读性差（可理解性差）性差）写程序困难（不方写程序困难（不方便）便）问题：程序的维护比问题：程序的维护比较困难较困难 扩展扩展纠错纠错预防预防适应适应6三、三、程序设计语言的发展程序设计语言的发展汇编语言汇编语言符号化了的机器符号化了的机器语言语言 功能没有扩充功能没有扩充可读性强可读性强例：将例：将(R4R5)(R4R5)中的双字节中的双字节数取补，结果送数取补，结果送R4R5R4R5。CMPTCMPT：MOV AMOV A，R5R5CPL ACPL AADD AADD A，#1#1MOV R5MOV R5，A AMOV AMOV

3、A，R4R4CPL ACPL AADDC AADDC A，#0#0MOV R4MOV R4，A ARETRET7三、三、程序设计语言的发展程序设计语言的发展高级程序设计语言高级程序设计语言(1)(1)过程式语言过程式语言PASCAL,C,FORTRAN,PL1PASCAL,C,FORTRAN,PL1特点：特点：命令为基础，程序由一系列语句组成，语句的命令为基础，程序由一系列语句组成，语句的执行引起存储单元值的变化。执行引起存储单元值的变化。程序的正确型（归纳断言指导程序的正确型（归纳断言指导）数学性质弱（副作用，变数学性质弱（副作用，变量量值变化）值变化）数据类型不够丰富数据类型不够丰富程序的

4、动静态结构差异大程序的动静态结构差异大8三、程序设计语言的发展三、程序设计语言的发展高级程序设计语言高级程序设计语言(2)(2)函数式语言函数式语言LISP,ML,HOPE,FPLISP,ML,HOPE,FP程序由一组函数组成，通过调用执行程序。程序由一组函数组成，通过调用执行程序。特点：特点：数学性质好数学性质好数据类型可自定义数据类型可自定义支持并行计算支持并行计算抽象级别高抽象级别高数据以表为基础数据以表为基础10三、程序设计语言的发展三、程序设计语言的发展高级程序设计语言高级程序设计语言(3)(3)逻辑式语言逻辑式语言PROLOGPROLOG以谓词为基础，具有推理能力以谓词为基础，具有推理能力特定的应用领域抽象的问题求解公式处理特定的应用领域抽象的问题求解公式处理专家系统人工智能等专家系统人工智能等11三、程序设计语言的发展三、程序设计语言的发展第四代语言第四代语言特定领域的特殊类语言特定领域的特殊类语言高级语言的抽象高级语言的抽象如：如：OracleOracle应用开发环境、应用开发环境、Power Power BuilderBuilder13 五、静态的分析过程五、静态的分析过程 词法分析词法分析语法分析语法分析所需要的分析所需要的分析15