Automata-based approach for kernel trace analysis

13 years 11 months ago
Automata-based approach for kernel trace analysis
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavior, to look for in a trace, and selected an appropriate state machine language to describe them. These patterns were then fed into an off-line analyzer which efficiently and simultaneously checks for their occurrences even in traces of several gigabytes. The checker achieves a linear performance with respect to the trace size. The remaining factors impacting its performance are discussed.
Gabriel Matni, Michel Dagenais
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Authors Gabriel Matni, Michel Dagenais
Comments (0)