The Soot framework for Java program analysis: a retrospective

By Patrick Lam, Eric Bodden, Ondřej Lhoták, Laurie J. Hendren. 2011

410 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/641940c0754cd10372a7f06423454185ee17a9da

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks (2014, methodology): “To analyze data flows, we originally experimented with a highly precise (context-, flow-and object-sensitive) data-flow analysis based on Soot [29], but found out that this did not easily scale to the approximately 110,000 methods of the Android SDK. Computing precise call graphs and alias informati”
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (2014, unknown): “FLOWDROID extends the Soot framework [21] which provides important prerequisites for a precise analysis, in particular the threeaddress code intermediate representation Jimple and the accurate call-graph analysis framework Spark [22].”
SVF: interprocedural static value-flow analysis in LLVM (2016, methodology): “Heros [3] also includes an IFDS/IDE [19] solver for analysing single- and multi-threaded code in the Soot framework [12].”
*droid (2016, methodology): “Soot [Vall´ee-Rai et al. 1999; Bodden 2012; Padhye and Khedker 2013; Lam et al. 2011; Reps et al. 1995; Sagiv et al. 1995] was the most popular with 14 tools, followed by the Android lightweight static analysis tool Androguard [2012] with 5 tools, Baksmali [2009] with 5 tools, and Wala [2006] with…”
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps (2015, methodology): “In a first step, IccTA uses Dexpler [11] to transform this Dalvik bytecode into Jimple, a Soot’s internal representation [28].”
Static analysis of android apps: A systematic literature review (2017, methodology): “TOOL Brief Description IR Example Usages Soot [12] A Java/Android static analysis and optimization framework JIMPLE, JASMIN FlowDroid [6], IccTA [7], AppIntent [90] WALAa A Java/Javascript static analysis framework WALA-IR (SSA-based) AsDroid [95], Asynchronizer [144], ORBIT [154] Chord [161] A Java”