Soot swMATH ID: 9122 Software Authors: Vallée-Rai, R., Gagnon, E., Hendren, L.J., Lam, P., Pominville, P., Sundaresan, V. Description: Soot - a Java bytecode optimization framework. This paper presents Soot, a framework for optimizing Java bytecode. The framework is implemented in Java and supports three intermediate representations for representing Java bytecode: Baf, a streamlined representation of bytecode which is simple to manipulate; Jimple, a typed 3-address intermediate representation suitable for optimization; and Grimp, an aggregated version of Jimple suitable for decompilation. We describe the motivation for each representation, and the salient points in translating from one representation to another.In order to demonstrate the usefulness of the framework, we have implemented intraprocedural and whole program optimizations. To show that whole program bytecode optimization can give performance improvements, we provide experimental results for 12 large benchmarks, including 8 SPECjvm98 benchmarks running on JDK 1.2 for GNU/Linuxtm. These results show up to 8 Homepage: http://www.sable.mcgill.ca/soot/ Related Software: AspectJ; WALA; DaCapo; Apron; Jimple; z3; Sat4j; Sparrow; SingleTrack; ASTREE; Bandera; NAT2TEST; LeetCode; CAMPY; MONA; Spacer; Ivy; JIST; CodeHint; halp Cited in: 27 Documents all top 5 Cited by 77 Authors 3 Amato, Gianluca 3 Lhoták, Ondřej 2 Hendren, Laurie J. 2 Lhoták, Jennifer 2 Meo, Maria Chiara 2 Møller, Anders Pape 2 Raman, Raghavan 2 Sarkar, Vivek 2 Scozzari, Francesca 2 Vechev, Martin T. 2 Xue, Jingling 2 Yahav, Eran 1 Alur, Rajeev 1 Avgustinov, Pavel 1 Barré, Nicolas 1 Besson, Frédéric 1 Brabrand, Claus 1 Černý, Pavol 1 Chatterjee, Krishnendu 1 Chawdhary, Aziem 1 Christensen, Aske Simon 1 de Moor, Oege 1 Demange, Delphine 1 Dillig, Isil 1 Dimovski, Aleksandar S. 1 D’Souza, Deepak 1 Dumitrel, Vlad 1 Feldman, Yotam M. Y. 1 Feng, Yu 1 Frumkin, Asya 1 Harris, William R. 1 Hatcliff, John 1 He, Dongjie 1 Hubert, Laurent 1 Ibsen-Jensen, Rasmus 1 King, Andy 1 Kuzins, Sascha 1 Lerner, Sorin 1 Lu, Jingbo 1 Madhusudan, Parthasarathy 1 Martins, Ruben 1 Monfort, Vincent 1 Mota, Alexandre C. 1 Nam, Wonhong 1 Nasre, Rupesh 1 Padon, Oded 1 Pavlogiannis, Andreas 1 Pichardie, David 1 Ranganath, Venkatesh Prasad 1 Reis, Jacinto 1 Reps, Thomas W. 1 Review, A. Systematic 1 Rubino, Marco 1 Sagiv, Mooly 1 Sahin, Burak 1 Schäf, Martin 1 Schwartzbach, Michael I. 1 Schwarz, Mathias 1 Sereni, Damien 1 Shoham, Sharon 1 Singh, Ranjeet K. 1 Sittampalam, Ganesh 1 Sluşanschi, Emil I. 1 Srikanth, Akhilesh 1 Stepp, Michael 1 Tate, Ross 1 Tatlock, Zachary 1 Tibble, Julian 1 Tiwari, Ashish Kumar 1 Turpin, Tiphaine 1 Wang, Xudong 1 Wang, Yuepeng 1 Wąsowski, Andrzej 1 Xu, Xuezheng 1 Zhang, Chenyi 1 Zhao, Jisheng 1 Zhuo, Xilong all top 5 Cited in 9 Serials 3 Formal Aspects of Computing 2 Formal Methods in System Design 1 Information Processing Letters 1 ACM Transactions on Mathematical Software 1 Theoretical Computer Science 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation 1 Logical Methods in Computer Science Cited in 2 Fields 26 Computer science (68-XX) 1 Numerical analysis (65-XX) Citations by Year