Symbolic Taint Analysis
To address software security vulnerabilities like SQL injection.
We have met the objectives of this project through the development and use of analysis methods to detect the impact of program inputs on applications to explain potential software attacks, thus enhancing software security. We use software analysis and symbolic execution methods to generate and explain potential attack scenarios without actually encountering the attacks. Additionally, we conduct infrastructure analysis to reveal attack scenarios prior to the deployment of an application.