Scaling Java Points-to Analysis Using SPARK
By Ondřej Lhoták, Laurie J. Hendren. International Conference on Compiler Construction, 2003
494 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Hardware and Architecture, Signal Processing
View Paper: https://www.semanticscholar.org/paper/ea3c5af28e18cd8c3cf4246a199d5abd1273681f
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Patrick Drew McDaniel
- Nicolas Papernot
- Somesh Jha
- Damien Octeau
- Eric Bodden
- John Whaley
- Robby
- Xinming Ou
In Hardware and Architecture
- Patrick Drew McDaniel
- John Whaley
- Robby
- Xinming Ou
- Fengguo Wei
- Monica S. Lam
- Sankardas Roy
- Yves Le Traon
In Signal Processing
- Damien Octeau
- Xinming Ou
- Fengguo Wei
- Sankardas Roy
- Robby
- Yves Le Traon
- Jacques Klein
- Alexandre Bartel
Citations in the corpus
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (2014, unknown): “F LOW D ROID extends the Soot framework [21] which provides important prerequisites for a precise analysis, in particular the three-address code intermediate representation Jimple and the accurate call-graph analysis framework Spark [22].”
- Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps (2014, methodology): “Existing off-the-shelf static analysis tools such as Soot [32] (used by FlowDroid [6, 17] and Epicc [25]) and Wala [16] (used by CHEX [23]) have not provided capability of calculating all objects’ points-to information in a both flow and context-sensitive way [4, 22].”
- Strictly declarative specification of sophisticated points-to analyses (2009, unknown): “P inherits support for many native methods from its predecessor, S [16].”
- Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis (2013, methodology): “For points-to analysis and call graph construction, we use Spark [24], which is part of Soot.”
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (2004, methodology): “…Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305 {jwhaley, lam}@stanford.edu ABSTRACT This paper presents the .rst scalable context-sensitive, inclusionbased pointer alias analysis for Java programs.”
- Refinement-based context-sensitive points-to analysis for Java (2006, unknown): “We configure our analysis to refine the precision of context-insensitive field-sensitive Andersen’s analysis with an on-the-fly call graph, as implemented in Spark [20].”