Filters








5 Hits in 12.3 sec

OCSEGen

Oksana Tkachuk
2013 Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13  
In this paper, we present a tool for automated environment generation for open components and systems. The tool, called OCSEGen, is implemented on top of the Soot framework.  ...  To analyze a component or unit under analysis, one needs to model its context of execution, called environment, which represents the components with which the unit interacts.  ...  are available as part of the OCSEGen distribution Proc. 2nd International Workshop on State Of the Art in Java Program analysis (SOAP '13)-Seattle, WA  ... 
doi:10.1145/2487568.2487572 dblp:conf/pldi/Tkachuk13 fatcat:rj55oafmt5gp5nqitdvhojexcm

Joogie

Stephan Arlt, Philipp Rümmer, Martin Schäf
2013 Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13  
In this paper, we present a translation of Java into logic that is suitable for proving the presence of contradictions in code.  ...  We show that the translation, which is based on the Jimple language, can be used to analyze real-world programs, and discuss some issues that arise from differences between Java code and its bytecode.  ...  This work is in part supported by the grants COLAB and JOOGIE of the Macao Science and Technology Development Fund, and by Vetenskapsrådet (VR).  ... 
doi:10.1145/2487568.2487570 dblp:conf/pldi/ArltRS13 fatcat:kpsmqlaijrcupd6jnx7j4nf3hy

Numerical static analysis with Soot

Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2013 Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13  
In this paper, we report on our prototype implementation of a Java bytecode static analyzer for numerical properties.  ...  Numerical static analysis computes an approximation of all the possible values that a numeric variable may assume, in any execution of the program.  ...  Proc. 2nd International Workshop on State Of the Art in Java Program analysis (SOAP '13)-Seattle, WA static void loop() { word i0; /* Frame: <-1> Stack: <> Property: [ ] */ push 0; store.i i0;  ... 
doi:10.1145/2487568.2487571 dblp:conf/pldi/AmatoMS13 fatcat:gsjnplk6wnfizllxycrb4cwhsa

Soot class loading in the rootbeer GPU compiler

Philip C. Pratt-Szeliga, Marc-André Laverdière, Ettore Merlo, James W. Fawcett, Roy D. Welch
2013 Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13  
The overhead in memory of these classes can make whole-program analysis of large binaries infeasible on systems with limited memory.  ...  One of the first activities of the Soot program analysis framework is to load the classes for analysis. With the current class loader, more classes are loaded than necessary.  ...  Pratt-Szeliga was supported by Syracuse University and National Science Foundation grant number MCB-0746066 to R.D.W.  ... 
doi:10.1145/2487568.2487573 dblp:conf/pldi/Pratt-SzeligaLMFW13 fatcat:jjitkpy65fdttmkaq6uwvgvhsu

Interprocedural data flow analysis in Soot using value contexts

Rohan Padhye, Uday P. Khedker
2013 Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13  
Soot currently supports interprocedural analysis of Java programs using graph reachability.  ...  An interprocedural analysis is precise if it is flow sensitive and fully context-sensitive even in the presence of recursion.  ...  Acknowledgments We would like to thank the anonymous reviewers for suggesting the inclusion of a non-distributive example and the separation of call/return flow functions.  ... 
doi:10.1145/2487568.2487569 dblp:conf/pldi/PadhyeK13 fatcat:dc4un3sgbvbjfmevyoo4iiryf4