Cited By
View all- Callo Arias TSpek PAvgeriou P(2011)A practice-driven systematic review of dependency analysis solutionsEmpirical Software Engineering10.1007/s10664-011-9158-816:5(544-586)Online publication date: 1-Oct-2011
Static analysis is usually faster than dynamic analysis but less precise. Therefore it is often desirable to retain information from static analysis for run-time verification, or to compare the results of both techniques. However, this requires writing ...
In this paper we introduce a novel method for improving static analysis of real code by using dynamic analysis. We have implemented our technique to enhance the Infer static analyzer [6] for Erlang by supplementing its analysis with data obtained by ...
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as preventing harm from being caused by malicious code. One problem with this approach is the ...
IBM Corp.
United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in