A Mixed Static Analysis Method based on Event Flow and Data Flow in Distributed Debugger

作者：Li, Qingshan^*; Chen, Wei; Wang, Xin; Chu, Hua

来源：Information-An International Interdisciplinary Journal, 2012, 15(1): 307-314.

• Static analysis
• Event flow
• Distributed debugger
• Data flow

With the distributed programs being applied broadly, the requirement of distributed debugger is advanced. The design methods used in traditional debugger cannot be the same with the distributed program debugging. As the assistant of dynamic debugging, static analysis methods need to be amended according to the characteristic of this kind of programs. By analyzing and contrasting existing distributed debugger architecture, the paper presents a new architecture using event-based model and confirms the place of static analysis module in this architecture. On the basis of that design, a kind of collaboration between data flow static analysis and event flow static analysis is advanced. This way makes user detect the aim system from event level and code statement level. This paper presents the algorithms of these two static analysis methods, and integrates that module into distributed debugger module. Finally, performance and functional testing are implemented on the two main aspects in that static analysis tool, and proving the correctness and acceptable runtime. In addition, the two methods are extendable and can be expanded to other kind of distributed programs.

• 出版日期2012-1
• 单位西安电子科技大学