Static and dynamic analysis: synergy and duality

381 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Using Valgrind to Detect Undefined Value Errors with Bit-Precision (2005, background): “In comparison, static analysis does not suffer these limitations, but the power of the analysis is necessarily much lower [1].”
A Systematic Survey of Program Comprehension through Dynamic Analysis (2008, result): “This is in accordance with Ernst’s plea for a hybrid approach in which static and dynamic analyzes are combined [63].”
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations (2014, background): “We discuss the latter vulnerability in more detail in Section VIII.”
Automated Whitebox Fuzz Testing (2008, background): “Static analysis is usually more eﬃcient but less precise than dynamic analysis and testing, and their complementarity is well known [10, 13].”
Feature location in source code: a taxonomy and survey (2013, background): “The combination of dynamic and static analysis is a well-known and powerful combination in other areas of research such as testing and program analysis [76, 77].”
Feature Location Using Probabilistic Ranking of Methods Based on Execution Scenarios and Information Retrieval (2007, background): “The general benefits of combining static and dynamic analyses, for example, as described by Ernst [13], are that each kind of analysis collects data that would be unavailable to the other analysis but could improve its performance.”