ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2013)
State Of the Art in Java Program Analysis
(SOAP 2013)
Seattle, Washington, June 2013, Co-located with PLDI 2013
Back to main page
Reflective code is the bane of static analyses. Under-approximate
handling of reflection can cause an analysis to miss many feasible
application behaviors, while over-approximate handling can destroy
analysis scalability and precision. In this talk, I will discuss our
exploration of different approaches to reflection handling over the
past several years, as embodied in several analysis systems for Java
and JavaScript. I will present the tradeoffs involved in the
different approaches, and some ideas on how to make progress going
forward. [slides]
Manu Sridharan has been a Research Staff Member at the IBM Thomas J. Watson Research Center since 2008. He has done research on various topics in static analysis, dynamic analysis, and software engineering. His current research is focused on static and dynamic analyses for JavaScript, including core program analyses, IDE tools, and race detection.
Joogie: From Java through Jimple to Boogie [project webpage] (Stephan Arlt, Philipp Rümmer, and Martin Schäf)
OCSEGen: Open Components and Systems Environment Generator [project webpage] (Oksana Tkachuk)
DUA-Forensics: A Fine-Grained Dependence Analysis and Instrumentation Framework based on Soot [project webpage] (Raul Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang)
Soot Class Loading in the ROOTBEER GPU Compiler [project webpage] (Philip C. Pratt-Szeliga, Marc-André Laverdière, Ettore Merlo, James W. Fawcett, and Roy D. Welch)
Numerical static analysis with Soot [project webpage] (Gianluca Amato, Simone Di Nardo Di Maio, and Francesca Scozzari)
Interprocedural Data Flow Analysis in Soot using Value Contexts [project webpage] (Rohan Padhye and Uday P. Khedker)
Proposed groups for small-group discussions - 15:30-17:00
In case you would like to add a topic, please let us know!
Back to main page
Schedule
| 09:00-09:05 |
Welcome & Introduction |
| 9:05 - 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-16:30 | Small-group discussions |
| 16:30-17:00 | Discussion summaries and closing |
Invited talk by Manu Sridharan - 9:05-10:00
Static Analysis and Reflection
Reflective code is the bane of static analyses. Under-approximate
handling of reflection can cause an analysis to miss many feasible
application behaviors, while over-approximate handling can destroy
analysis scalability and precision. In this talk, I will discuss our
exploration of different approaches to reflection handling over the
past several years, as embodied in several analysis systems for Java
and JavaScript. I will present the tradeoffs involved in the
different approaches, and some ideas on how to make progress going
forward. [slides]
Manu Sridharan has been a Research Staff Member at the IBM Thomas J. Watson Research Center since 2008. He has done research on various topics in static analysis, dynamic analysis, and software engineering. His current research is focused on static and dynamic analyses for JavaScript, including core program analyses, IDE tools, and race detection.
Session 1 - 10:30-12:00
Joogie: From Java through Jimple to Boogie [project webpage] (Stephan Arlt, Philipp Rümmer, and Martin Schäf)
OCSEGen: Open Components and Systems Environment Generator [project webpage] (Oksana Tkachuk)
DUA-Forensics: A Fine-Grained Dependence Analysis and Instrumentation Framework based on Soot [project webpage] (Raul Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang)
Session 2 - 13:30-15:00
Soot Class Loading in the ROOTBEER GPU Compiler [project webpage] (Philip C. Pratt-Szeliga, Marc-André Laverdière, Ettore Merlo, James W. Fawcett, and Roy D. Welch)
Numerical static analysis with Soot [project webpage] (Gianluca Amato, Simone Di Nardo Di Maio, and Francesca Scozzari)
Interprocedural Data Flow Analysis in Soot using Value Contexts [project webpage] (Rohan Padhye and Uday P. Khedker)