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

程序分析技术 第一讲： 程序设计语言的发展 一、程序分析的任务 以程序为对象，分析其属性，如： 值的获取与传播 活跃性 …… * 二、程序分析技术的应用 程序转换 程序理解 程序演化 程序逆向工程 * 程序验证与测试 程序优化 重构 自动并行化 …… * 三、程序设计语言的发展 * 三、程序设计语言的发展 ——机器语言 指令： 二进制组成 具有基本操作，左移、右移、加1 缺点： 可读性差（可理解性差） 写程序困难（不方便） 问题：程序的维护比较困难 扩展 纠错 预防 适应 * 三、程序设计语言的发展 ——汇编语言 符号化了的机器语言 功能没有扩充 可读性强 例：将(R4R5)中的双字节数取补，结果送R4R5。 CMPT：MOV A，R5 CPL A ADD A，#1 MOV R5，A MOV A，R4 CPL A ADDC A，#0 MOV R4，A RET * 三、程序设计语言的发展 ——高级程序设计语言 (1)过程式语言 PASCAL,C,FORTRAN,PL1 特点： 命令为基础，程序由一系列语句组成，语句的执行引起存储单元值的变化。 程序的正确型（归纳断言指导…） 数学性质弱（副作用，变量值变化） 数据类型不够丰富 程序的动静态结构差异大 * 历史上的goto语句之争 1970，XPL编译器只用了一个goto 1972，操作系统只有五处用了标号和goto 难以理解，难以查错，动静态差异大 修改引起的副作用小，全局优化简单 概念简单，效率高 * 三、程序设计语言的发展 ——高级程序设计语言 (2)函数式语言 LISP,ML,HOPE,FP… 程序由一组函数组成，通过调用执行程序。 特点： 数学性质好 数据类型可自定义 支持并行计算 抽象级别高 数据以表为基础 * 三、程序设计语言的发展 ——高级程序设计语言 (3)逻辑式语言 PROLOG 以谓词为基础，具有推理能力 特定的应用领域抽象的问题求解公式处理专家系统人工智能等 * 三、程序设计语言的发展 ——高级程序设计语言 (4)对象式语言 SmallTalk80 特点： 封装性 继承性 多态性 * 三、程序设计语言的发展 ——第四代语言 特定领域的特殊类语言 高级语言的抽象 如：Oracle应用开发环境、Power Builder… * 四、程序分析的一般方法 静态分析方法 动态分析方法 * 五、静态的分析过程 词法分析 语法分析 所需要的分析 *