Inter-procedural data-flow analysis with IFDS/IDE and soot

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2012

Volumn , Issue , 2012, Pages 3-8

  Bodden, Eric ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Flow sensitive analysis; IDE; IFDS; Inter procedural static analysis

Indexed keywords

COMPLEX ANALYSIS; DATAFLOW; EASE-OF-USE; FINITE DOMAINS; FLOW FUNCTION; FLOW-SENSITIVE ANALYSIS; IDE; IFDS; INFORMATION FLOWS; INTER-PROCEDURAL; INTER-PROCEDURAL ANALYSIS; MEMORY EFFICIENCY; TYPESTATE;

INTEGRODIFFERENTIAL EQUATIONS; JAVA PROGRAMMING LANGUAGE; SOOT;

COMPUTER SOFTWARE;

EID: 84863483298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2259051.2259052     Document Type: Conference Paper

References (10)

1. Eric Bodden. Position paper: Static flow-sensitive & contextsensitive information-flow analysis for software product lines. Workshop on Programming Languages and Analysis for Security (PLAS 2012), June 2012. To appear.
2. Satish Chandra, Stephen J. Fink, and Manu Sridharan. Snugglebug: a powerful approach to weakest preconditions. In PLDI'09, pages 363-374, New York, NY, USA, 2009. ACM.
3. The Google Guava collection library. http://guava-libraries.googlecode. com/.
4. Nomair Naeem, Ondrej Lhotak, and Jonathan Rodriguez. Practical extensions to the IFDS algorithm. In Compiler Construction, volume 6011 of LNCS, pages 124-144, 2010.
5. Nomair A. Naeem and Ondrej Lhotak. Typestate-like analysis of multiple interacting objects. In OOPSLA, pages 347-366, New York, NY, USA, 2008. ACM.
6. Vijay Sundaresan Patrick Lam Etienne Gagnon Raja Vallee- Rai, Laurie Hendren and Phong Co. Soot - a Java optimization framework. In CASCON'99, pages 125-135, 1999.
7. Thomas Reps, Susan Horwitz, and Mooly Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL'95, pages 49-61, New York, NY, USA, 1995. ACM.
8. Atanas Rountev, Mariana Sharp, and Guoqing Xu. Ide dataflow analysis in the presence of large object-oriented libraries. In Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction, CC'08/ETAPS'08, pages 53-68, Berlin, Heidelberg, 2008. Springer-Verlag.
9. Mooly Sagiv, Thomas Reps, and Susan Horwitz. Precise interprocedural dataflow analysis with applications to constant propagation. In TAPSOFT'95, pages 131-170, Amsterdam, The Netherlands, The Netherlands, 1996. Elsevier Science Publishers B. V. (Pubitemid 126412419)
10. T.J. Watson Libraries for Analysis (WALA). http://wala.sf.net/.