Combined static and dynamic analysis for inferring program dependencies using a pattern language
Abstract
References
Index Terms
- Combined static and dynamic analysis for inferring program dependencies using a pattern language
Recommendations
Combined Static and Dynamic Analysis
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 ...
Enhancing Compositional Static Analysis with Dynamic Analysis
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software EngineeringIn 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 ...
Using Static Analysis to Reduce Dynamic Analysis Overhead
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 ...
Comments
Information & Contributors
Information
Published In
- Conference Chairs:
- Kelly Lyons,
- Christian Couturier,
- Editors:
- Hakan Erdogmus,
- Eleni Stroulia,
- Darlene Stewart,
- Program Chairs:
- Hakan Erdogmus,
- Eleni Stroulia
Sponsors
- IBM Toronto Lab
- CAS
Publisher
IBM Corp.
United States
Publication History
Qualifiers
- Article
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 483Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in