Efficient Automated Trace Analysis
Mireille Ducassé, Erwan Jahier · Electronic Notes in Theoretical Computer Science · 2001
Opium, Morphine and Coca are three automated trace analyzers based on the same principles for three different programming languages. An automated trace analyzer is connected to an event-oriented tracer. The traced program is run in coprocessing with the trace analysis session in which the user enters high-level queries about the traced execution. The trace is then automatically processed according to the query. The key of efficiency is that most of the work is done (1) on the fly and (2) in the traced process. In this article, we first present these mechanisms and then illustrate them through a debugging session and monitoring examples with Morphine.