Skip to main content

and
  1. No Access

    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...

    Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan in ECOOP 2011 – Object-Oriented Programming (2011)

  2. No Access

    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...

    Prakash Prabhu, Priti Shankar in Static Analysis (2008)