一种新的instrumentation框架

上周在通读ISSTA 2011论文的时候，发现又有一篇论文使用了Dyninst这种instrumentation framework，目前看到过两篇：

A. R. Bernat, K. Roundy and B. P. Miller, "Efficient, sensitivity resistant binary instrumentation," in Proceedings of the 2011 International Symposium on Software Testing and Analysis, Toronto, Ontario, Canada, 2011, pp. 89-99.

P. A. Nainar and B. Liblit, "Adaptive bug isolation," in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, Cape Town, South Africa, 2010, pp. 255-264.

Dyninst的网址是：http://www.dyninst.org/

仔细看了一下，实际上就是University of Wisconsin–Madison and University of Maryland, College Park两个学校开发的，而上面两篇论文也是这个学校的学生和老师写的。

按照第二篇论文中的介绍：Pin and Valgrind are dynamic binary instrumentors that use just-in-time (JIT) disassembly and recompilation, as contrasted with Dyninst’s code-patching approach.

Pin和Valgrind都是JIT型的instrumentation框架，而Dyninst使用的是code-patching方法。今天就简单记这么多。