简介

通过建立一个比较简单的语法简单中间语言（A simple intermediate language，SIMPIL）。对Dynamic taint analysis和forward symbolic execution进行了讲解。

SIMPIL

动态污点分析

动态污点分析：跟踪源头与sink点的信息流。任何由污染源推导的值都是污点（T），其他值看作未污染。

两种错误：

  • overtainted：假阳性
  • undertainting：假阴性

动态污点分析策略

Taint Introduction

将用户输入作为污染源

Taint Propagation

Taint Checking

查看是否污染

前向符号执行

前向符号性可以通过建立逻辑表达式分析程序在不同输入下的行为。属于静态分析。