HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis

Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape analysis tools are either purely dynamic or static. Static analysis, which considers all possible behaviors of a program, may produce false positives; whereas dynamic approaches cannot analyze unobserved behaviors of a program. This paper presents a hybrid approach that integrates static and dynamic analyses to address this problem. We first perform static analysis to obtain succinct summaries of program source code. Dynamic analysis is then used to confirm variable sharing; for unexecuted code, we determine the sharing of variables by performing an interprocedural synthesis based on the runtime information and static summaries. Compared to dynamic analysis, the hybrid approach is able to determine the escape property of variables in unexecuted code. Compared to static analysis, the hybrid approach produces few...

• Type: Conference
• Year: 2009
• Where: COMPSAC
• Authors: Qichang Chen, Liqiang Wang, Zijiang Yang
• Keywords: COMPSAC 2009, Escape Analysis, Hybrid Approach, Software Engineering, Static Analysis