参考:http://bitblaze.cs.berkeley.edu/papers/taintcheck-full.pdf 1. 应用taint analysis需要解决三个问题 a. 哪些input需要被标记为tainted b. 这些tainted的属性需要怎样被传播到其他的内存中 c. 这些tainted的内存什么情况下可以被视为用于attack 因此TaintCheck是由三个基本组件组成:TaintSeed, TaintTracker以及TaintAssert. 每个组件都定义了自己独…