The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2002)
Richmond, Virginia
Oct. 29, 2002 to Nov. 1, 2002
ISBN: 0-7695-1799-4
pp: 0255
ABSTRACT
Understanding the behavior of a system is a central reverse engineering task, and is crucial for being able to modify, maintain, and improve the system. An often difficult aspect of some system behaviors is concurrency, in particular identifying those areas that exhibit mutual exclusion and those that exhibit synchronization. In this paper we present a technique that builds on our previous work in behavior discovery to find the points in the system that demonstrate mutually exclusive and synchronized behavior. Finding these points in the behavior of the system is an important aid in reverse engineering a complete and correct model of the system.
INDEX TERMS
CITATION
J.E. Cook, Z. Du, "Discovering Thread Interactions in a Concurrent System", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 0255, 2002, doi:10.1109/WCRE.2002.1173083
80 ms
(Ver 3.3 (11022016))