Higher Abstractions for Dynamic Analysis

摘要: The developers of tools for dynamic analysis are faced with choosing from the many approaches to gathering runtime data. Typically, involves instrumenting program under investigation record its behavior. Current byte-code based systems like Java and Smalltalk rely often on inserting into analysis. However, detailed knowledge target programming language or virtual machine is required implement tools. Obtaining exploiting this build better cumbersome distracts tool builder actual goal, which behavior a system. In paper, we argue that need adopt higher level view software system when considering task abstracting information. We focus objectoriented languages. want be able deal as collection reified first-class entities. propose achieve by introducing layer abstraction, i.e., behavioral middle layer. This has advantage collecting information not concerned low details specific machine. positive eect such twofold: one hand it provides us standard API all use, other allows developer abstract implementation technique.