CVE-2017-8291及利用样本分析

敢想敢做敢拼

0x00 前言

笔者在此前从未接触过Postscript及Ghostscript(甚至不闻其名)，该文权当笔者在学习过程中的一篇学习笔记，其中如有不当或错误之处，望读者不吝赐教，笔者感激不尽。
0x01 Postscript

读者可以先行安装Ghostscript，之后便可于其中运行下列示例。
0x01.1 介绍(引自维基百科)

注：读者若要详细了解，见参考链接。

PostScript是一种图灵完全的编程语言，通常PostScript程序不是人为生成的，而是由其他程序生成的。然而，仍然可以使用手工编制的PostScript程序生成图形或者进行计算。
PostScript是一种基于堆栈的解释语言（例如stack language），它类似于Forth语言但是使用从Lisp语言派生出的数据结构。这种语言的语法使用逆波兰表示法，这就意味着不需要括号进行分割，但是因为需要记住堆栈结构，所以需要进行训练才能阅读这种程序。
0x01.2 入门示例

• 1 2 add：1+2
  
• 3 4 add 5 1 sub mul：(3 + 4) × (5 - 1)
  
• /x1 15 def：定义一变量x1，其值为15
  
• /x1 x1 2 add def：x1+=2
  
• x1 0 eq { 0 } if：{}可以简单理解为定义一过程
  
• %!PS-Adobe-3.0 EPSF-3.0：注释语句以%开头
  

0x01.3 For语句

for语句语法：initial increment limit proc for。
它会维护一个control variable，初始值设为initial。然后，在每次重复之前，会先比较control variable与limit。若未超过limit，则
将control variable入栈，执行proc之后再将increment添加到control variable。
示例如下：
01 1 10 {    pop    1 add} for可以用C语言写成(仅仅为表示其功能)：
int a = 1;int i;for (i = 1; i