Software analysis: a roadmap
Daniel Jackson, Martin Rinard · 2000
Key Research PointersChecking conformance of code to designs is likely to become a central problem for software analysis.Tools that analyze designs in their own right will grow in importance.Abstract design models are the lynchpin for exploiting code analyses in this context: they not only make the analysis results more relevant, but can be used to focus the analysis and extend it.Both powerful tools that can check complex properties and simpler tools that provide rapid but rough results will be useful.Many kinds of analysis will play a role: static and dynamic, sound and unsound, operational and declarative.