ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2012)
Beijing, China, June 2012, Co-located with PLDI 2012
Back to main page


Welcome & Introduction
9:00 - 10:00 Invited Talk and Discussion
10:00-10:30 Break
10:30-12:00 Short Presentations - Session 1
12:00-13:30 Lunch
13:30-15:00 Short Presentations - Session 2
15:00-15:30 Break
15:30-17:00 Small-group discussions
17:00-17:15 Discussion summaries and closing

Invited talk by Anders Møller  - 9:00-10:00

Session Chair: Laurie Hendren

AndersStatic Analysis for JavaScript vs. Java

Dynamic languages such as JavaScript have become immensely popular, but programmers still rely on tedious testing to find even the simplest errors in their code. How can we build static analysis tools for JavaScript to help the programmers write better code? What makes JavaScript more challenging than Java, seen from a static analysis point of view?
This talk gives an overview of lessons learned from two research projects - one involving string analysis for Java, and one about dataflow analysis for JavaScript.

Anders Møller is associate professor at Aarhus University where he is manager of CASA, Center for Advanced Software Analysis.

Session 1 - 10:30-12:00

Session Chair: Patrick Lam

Inter-procedural Data-flow Analysis with IFDS/IDE and Soot (Eric Bodden)
Rethinking Soot for Summary-Based Whole-Program Analysis (Dacong Yan, Guoqing Xu, and Atanas Rountev)
Side-Effect Analysis with Fast Escape Filter (Binxian Tao, Ju Qian and Xiaoyu Zhou)
Soot-based Implementation of a  Demand-Driven Reaching Definitions Analysis (Longwen Lu, Cheng Zhang and Jianjun Zhao)

Session 2 - 13:30-15:00

Session Chair: Bruno Dufour

Dexpler: Converting Android Dalvik Bytecode to Jimple  for Static Analysis with Soot (Alexandre Bartel, Jacques Klein, Martin Monperrus and Yves Le Traon)
Program Analysis and Transformation for Holistic Optimization of Database Applications (Karthik Ramachandra, Ravindra Guravannavar and S Sudarshan)
Collection Disjointness Analysis (Hang Chu and Patrick Lam)
InvokeDynamic support in Soot (Eric Bodden)

Proposed groups for small-group discussions - 15:30-17:00

  • adding an interprocedural infrastructure to Soot (discussion lead: Eric Bodden)
  • making Soot work for other languages/IRs (discussion lead: Bruno Dufour)
  • speeding up Soot (discussion lead: Patrick Lam)
In case you would like to add a topic, please let us know!