程序分析技术第一讲程序设计语言的发展.pptxVIP

程序分析技术第一讲：程序设计语言的发展

一、程序分析的任务以程序为对象，分析其属性，如：值的获取与传播活跃性……2

二、程序分析技术的应用程序转换程序理解程序演化程序逆向工程3

程序验证与测试程序优化重构自动并行化……

三、程序设计语言的发展5

三、程序设计语言的发展

——机器语言指令：二进制组成具有基本操作，左移、右移、加1缺点：可读性差（可理解性差）写程序困难（不方便）问题：程序的维护比较困难扩展纠错预防适应

三、程序设计语言的发展

——汇编语言符号化了的机器语言功能没有扩充可读性强例：将(R4R5)中的双字节数取补，结果送R4R5。CMPT：MOVA，R5CPLAADDA，#1MOVR5，AMOVA，R4CPLAADDCA，#0MOVR4，ARET

三、程序设计语言的发展

——高级程序设计语言(1)过程式语言 PASCAL,C,FORTRAN,PL1特点：命令为基础，程序由一系列语句组成，语句的执行引起存储单元值的变化。程序的正确型（归纳断言指导…）数学性质弱（副作用，变量值变化）数据类型不够丰富程序的动静态结构差异大

历史上的goto语句之争91970，XPL编译器只用了一个goto1972，操作系统只有五处用了标号和goto难以理解，难以查错，动静态差异大修改引起的副作用小，全局优化简单概念简单，效率高12

三、程序设计语言的发展

——高级程序设计语言01LISP,ML,HOPE,FP…程序由一组函数组成，通过调用执行程序。函数式语言02特点：数学性质好数据类型可自定义支持并行计算抽象级别高数据以表为基础

三、程序设计语言的发展

——高级程序设计语言PROLOG以谓词为基础，具有推理能力特定的应用领域抽象的问题求解公式处理专家系统人工智能等(3)逻辑式语言

三、程序设计语言的发展

——高级程序设计语言对象式语言特点：SmallTalk80封装性继承性多态性

三、程序设计语言的发展

——第四代语言213特定领域的特殊类语言高级语言的抽象如：Oracle应用开发环境、PowerBuilder…

四、程序分析的一般方法14静态分析方法01动态分析方法02

五、静态的分析过程15语法分析词法分析所需要的分析