Abstract program slicing of database query languages

Authors:
Raju Halder;Agostino Cortesi
Affiliations:
Indian Institute of Technology Patna, India;DAIS, Università Ca' Foscari Venezia, Italy
Venue:
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Year:
2013

Citing 14
Cited 0

Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Correct Program Slicing of Database Operations

IEEE Software
An Algebraic Approach to Rule Analysis in Expert Database Systems

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Program Slicing in the Presence of a Database State

ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
Data dependencies and program slicing: from syntax to abstract semantics

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The dependence condition graph: Precise conditions for dependence between program points

Computer Languages, Systems and Structures
Program analysis and transformation for data-intensive system evolution

ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Obfuscation-based analysis of SQL injection attacks

ISCC '10 Proceedings of the The IEEE symposium on Computers and Communications
Abstract program slicing: from theory towards an implementation

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Fault localization for data-centric programs

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Abstract interpretation of database query languages

Computer Languages, Systems and Structures
Program Slicing

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.