Sciweavers

Share
COMPSAC
2009
IEEE

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

8 years 11 months ago
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...
Qichang Chen, Liqiang Wang, Zijiang Yang
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where COMPSAC
Authors Qichang Chen, Liqiang Wang, Zijiang Yang
Comments (0)
books