ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2012)
State Of the Art in Java Program Analysis
(SOAP 2012)
Beijing, China, June 2012, Co-located with PLDI 2012
Back to main page
Session Chair: Laurie Hendren
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 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 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
Back to main page
Schedule
| 08:45-09:00 |
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
Static
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)