A Datalog model of must-alias analysis
作者： George Balatsouras , Kostas Ferles , George Kastrinis , Yannis Smaragdakis
关键词:
摘要: We give a declarative model of rich family must-alias analyses. Our emphasis is on careful and compact modeling, while exposing the key points where algorithm can adjust its inference power. The executable, in Datalog language, forms basis full-fledged analysis Java bytecode Doop framework.
acm.org
sci-hub.se 参考文章(19)
Olin Grigsby Shivers, Control-flow analysis of higher-order languages of taming lambda Carnegie Mellon University. ,(1991)
Micha Sharir, A Pnueli, Two approaches to interprocedural data flow analysis ,(2011)
Gogul Balakrishnan, Thomas Reps, Recency-Abstraction for Heap-Allocated Storage Static Analysis. pp. 221- 239 ,(2006) , 10.1007/11823230_15
Arnab De, Deepak D’Souza, Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates ECOOP 2012 – Object-Oriented Programming. pp. 665- 687 ,(2012) , 10.1007/978-3-642-31057-7_29
Xiaodong Ma, Ji Wang, Wei Dong, Computing Must and May Alias to Detect Null Pointer Dereference leveraging applications of formal methods. ,vol. 17, pp. 252- 261 ,(2008) , 10.1007/978-3-540-88479-8_18
Đurica Nikolić, Fausto Spoto, Definite expression aliasing analysis for java bytecode international colloquium on theoretical aspects of computing. ,vol. 7521, pp. 74- 89 ,(2012) , 10.1007/978-3-642-32943-2_6
Martin Bravenboer, Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták, Pick your contexts well: understanding object-sensitivity symposium on principles of programming languages. ,vol. 46, pp. 17- 30 ,(2011) , 10.1145/1925844.1926390
Mooly Sagiv, Thomas Reps, Reinhard Wilhelm, Parametric shape analysis via 3-valued logic ACM Transactions on Programming Languages and Systems. ,vol. 24, pp. 217- 298 ,(2002) , 10.1145/514188.514190
Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi, Interprocedural pointer alias analysis ACM Transactions on Programming Languages and Systems. ,vol. 21, pp. 848- 894 ,(1999) , 10.1145/325478.325519
George Kastrinis, Yannis Smaragdakis, Hybrid context-sensitivity for points-to analysis programming language design and implementation. ,vol. 48, pp. 423- 434 ,(2013) , 10.1145/2491956.2462191