On Using Static Analysis to Detect Type Errors in PHP Applications
msra(2010)
摘要
We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstruct- ing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features that improve analysis precision. We have implemented our approach as a tool that supports the full specification of PHP 5. We describe several bugs that we were able to find in deployed web applications.
更多查看译文
关键词
static analysis,type inference
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络