Sciweavers

Share
RV
2010
Springer

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

9 years 5 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, then 2) invoke static analysis from this runtime state to detect possible errors that can happen in the continued execution. This approach improves analysis precision, particularly with respect to types of global variables and nested data structures. It also enables the resolution of modules that are loaded based on dynamically computed information. We describe an implementation of this approach in a tool that statically computes possible types of variables in PHP applications, including detailed types of nested maps (arrays). PHP is a dynamically typed language; PHP programs extensively use nested value maps, as well as ’include’ directives whose arguments are dynamically computed file names. We have applied our analysis tool to ...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where RV
Authors Etienne Kneuss, Philippe Suter, Viktor Kuncak
Comments (0)
books