A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications
[chapter]
2016
Lecture Notes in Computer Science
Dependence Graph provides the basis for powerful programming tools to address a large number of software engineering activities including security analysis. This paper proposes a semantics-based static dependence analysis framework for relational database applications based on the Abstract Interpretation theory. As database attributes differ from traditional imperative language variables, we define abstract semantics of database applications in relational abstract domain. This allows to
doi:10.1007/978-3-319-49806-5_8
fatcat:2axv2qcajjgovk3ct76m2n45sa