A Static Analysis Approach to Verify Data Integrity of Web-based Software Systems

Web-based application plays an important role in our day-to-day activities. Such kinds of applications deal with large volumes of data access and data manipulation continuously. Data security is one of the prime concerns for data access. During any operation on data, it is important to preserve the data integrity to maintain security. In this work, we provide a static analysis approach to verify data integrity to ensure the data security of web-based applications. We used an abstract-based static analysis technique with the help of the powerset domain of interval to analyze the actual behavior of the system.