软件安全分析与应用第4章程序切片读书笔记。

  • 程序切片
    • 概述
      • 相关知识
      • 基本原理
    • 静态切片
      • 基于数据流
      • 基于图可达性
    • 动态切片
      • 基于程序依赖图
      • 基于动态依赖图

概述

程序切片是指从程序中提取出满足一定约束条件的代码片段。

相关知识

  1. 控制流
  2. 数据流
  3. 代码块
  4. 可达性
  5. 活性分析
  6. 程序依赖图

基本原理

静态程序切片主要有两种方法,即为基于数据流方程的方法和基于程序依赖图可达性的切片方法。
动态切片是一种仅关注在给定某个输入条件下对程序中某点的变量有影响的语句,动态切片的发现来源于程序动态调试的需要。