Thumbnail
Access Restriction
Subscribed

Author Matni, G. ♦ Dagenais, M.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2009
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science ♦ Natural sciences & mathematics ♦ Physics ♦ Electricity & electronics
Subject Keyword Kernel ♦ Debugging ♦ Performance analysis ♦ Floods ♦ Linux ♦ Intrusion detection ♦ Open source software ♦ Instruments ♦ Runtime ♦ Operating systems
Abstract 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.
Description Author affiliation: École Polytechnique de Montréal, Department of Computer Engineering, Canada (Matni, G.; Dagenais, M.)
ISBN 9781424435098
ISSN 08407789
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2009-05-03
Publisher Place Canada
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 186.08 kB
Page Count 4
Starting Page 970
Ending Page 973


Source: IEEE Xplore Digital Library