Strictly declarative specification of sophisticated points-to analyses
By Martin Bravenboer, Yannis Smaragdakis. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2009
479 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/a6ddc5def4fbe8ef496e73b0637bf541cdc05e06
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
- Martin T. Vechev
- Mayur Naik
- Xin Zhang
- Ravi Mangal
- Aditya V. Nori
- Petar Tsankov
- Ondřej Lhoták
- Yannis Smaragdakis
In Computational Theory and Mathematics
- Mayur Naik
- Xin Zhang
- Ravi Mangal
- Aditya V. Nori
- Ondřej Lhoták
- Yannis Smaragdakis
- Martin Bravenboer
- Martin C. Rinard
Citations in the corpus
- A user-guided approach to program analysis (2015, methodology): “Datalog has been shown to suffice for expressing a variety of analyses, including pointer and call-graph analyses [7,40,41,44], concurrency analyses [30,31], security analyses [11,27], and reflection analysis [25].”
- Vandal: A Scalable Security Analysis Framework for Smart Contracts (2018, background): “Expressing vulnerability analyses in a declarative language allows security experts to rapidly prototype new analyses and compose existing analyses with ease [26, 27, 34].”
- Information Flow Analysis of Android Applications in DroidSafe (2015, background): “Accumulating evidence demonstrates that object sensitivity is the best choice for object-oriented languages [18, 26–28].”
- Pick your contexts well: understanding object-sensitivity (2011, methodology): “D is a highly scalable framework and implements very efficiently the most complex and precise context-sensitive analyses in current use [3].”
- Securify: Practical Security Analysis of Smart Contracts (2018, background): “The Doop framework [25, 52] presents a fast and scalable declarative points-to analysis for Java programs, and is one of the first works to show the promise of declarative static analysis.”
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts (2018, methodology): “For instance, it resembles the flow computation in standard Datalog frameworks for Java bytecode, such as JChord [Naik 2011; Naik et al. 2009] or Doop [Bravenboer and Smaragdakis 2009].”