Abstract program slicing of database query languages

In this paper, the notions of semantic relevancy of statements, semantic data dependences and conditional dependences are extended to the case of programs embedding SQL statements in both concrete and abstract domains. This allows us to refine traditional syntax-based Database-Oriented Program Dependence Graphs, yielding to a more accurate semantics-based abstract program slicing algorithm.

[1]  Anthony Cleve,et al.  Program analysis and transformation for data-intensive system evolution , 2010, 2010 IEEE International Conference on Software Maintenance.

[2]  Srihari Sukumaran,et al.  The dependence condition graph: Precise conditions for dependence between program points , 2010, Comput. Lang. Syst. Struct..

[3]  Agostino Cortesi,et al.  Abstract program slicing on dependence condition graphs , 2013, Sci. Comput. Program..

[4]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[5]  Mark Harman,et al.  Slicing, I/O and the Implicit State , 1997, AADEBUG.

[6]  Damiano Zanardini,et al.  The Semantics of Abstract Program Slicing , 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.

[7]  Mangala Gowri Nanda,et al.  Fault localization for data-centric programs , 2011, ESEC/FSE '11.

[8]  Insup Lee,et al.  Abstract slicing: a new approach to program slicing based on abstract interpretation and model checking , 2005, Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05).

[9]  Agostino Cortesi,et al.  Abstract interpretation of database query languages , 2012, Comput. Lang. Syst. Struct..

[10]  James Cheney,et al.  Program Slicing and Data Provenance , 2007, IEEE Data Eng. Bull..

[11]  Tok Wang Ling,et al.  Correct Program Slicing of Database Operations , 1998, IEEE Softw..

[12]  Jennifer Widom,et al.  An Algebraic Approach to Rule Analysis in Expert Database Systems , 1994, VLDB.

[13]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[14]  Agostino Cortesi,et al.  Abstract Interpretation of Recursive Queries , 2013, ICDCIT.

[15]  Isabella Mastroeni,et al.  Abstract Program Slicing: From Theory towards an Implementation , 2010, ICFEM.

[16]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1988, SIGP.

[17]  Agostino Cortesi,et al.  Obfuscation-based analysis of SQL injection attacks , 2010, The IEEE symposium on Computers and Communications.

[18]  Damiano Zanardini,et al.  Data dependencies and program slicing: from syntax to abstract semantics , 2008, PEPM '08.

[19]  Agostino Cortesi,et al.  Watermarking Techniques for Relational Databases: Survey, Classification and Comparison , 2010, J. Univers. Comput. Sci..

[20]  Jianhua Shao,et al.  Program slicing in the presence of database state , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..