Page
%P
-
Chapter and Conference Paper
Interprocedural Exception Analysis for C++
C++ Exceptions provide a useful way for dealing with abnormal program behavior, but often lead to irregular interprocedural control flow that complicates compiler optimizations and static analysis. In this pap...
-
Chapter and Conference Paper
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
Context sensitive pointer analyses based on Whaley and Lam’s bddbddb system have been shown to scale to large Java programs. We provide a technique to incorporate flow sensitivity for Java fields into one such an...