Systematic mapping of 248 combined program analysis techniques reveals design patterns
Researchers catalog 30 years of hybrid static-dynamic analysis synergies for better software dependability
Deep Dive
Pietro Braione and colleagues present a systematic mapping study of 248 papers on combined program analysis techniques. They developed a taxonomy classifying synergistic effects, inter-analysis workflows, and mapping functions (interaction schemata). The work reveals commonalities and differences in goals and patterns across combined-program-analysis designs, providing a framework for researchers and practitioners to reason on existing techniques and steer further research.
Key Points
- Surveyed 248 primary studies on combined program analysis techniques spanning 30+ years of research
- Introduced a new taxonomy with three dimensions: synergistic effects, inter-analysis workflows, and mapping functions (interaction schemata)
- Reveals common design patterns such as static-guided dynamic execution and dynamic-refined static abstractions
Why It Matters
Classifies hybrid analysis approaches, enabling engineers to design more effective, precise, and scalable software verification tools.