A position paper on compile-time program analysis
Barbara G. Ryder · ACM SIGPLAN Notices · 1997
Current challenges to the compile-time analysis research community include unifying the nomenclature in program analysis, embedding analyses in practical software tools, influencing programming language design to allow analysis, and adapting analyses to the blend of architectures, languages and operating systems common in modern software. These challenges must be met to ensure that compile-time analyses will continue to be of practical benefit.