Metric-driven reengineering for static concurrency analysis
نویسندگان
چکیده
منابع مشابه
ThreadSafe: Static Analysis for Java Concurrency
THREADSAFE is a commercial static analysis tool that focuses on detection of Java concurrency defects. THREADSAFE’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.
متن کاملExperimental Design for Comparing Static Concurrency Analysis Techniques
formally, experimentation can help develop estimates of Software engineering has suffered from a shortage of empirical studies. We recently undertook a study in an area that seems well suited to empirical investigation, comparing the performance of several static analysis tools for evaluating properties of concurrent software. During the course of that study, we encountered a number of signific...
متن کاملAn Empirical Comparison of Static Concurrency Analysis Techniques
This paper reports the results of an empirical comparison of several static analysis tools for evaluating properties of concurrent software and also reports the results of our attempts to build predictive models for each of the tools based on program and property characteristics. Although this area seems well suited to empirical investigation, we encountered a number of significant issues that ...
متن کاملStatic Analysis of Concurrency Constructs in Higher-Order Programs
Detecting and debugging concurrency bugs is particularly hard. The complexity of concurrent programs is huge due to the exponential number of possible interleavings between the multiple units of execution of those programs. Having help from the computer to detect concurrency bugs — or prove their absence — can substantially reduce debugging time. In this dissertation, we investigate the use of ...
متن کاملKeshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
Bug patterns are coding idioms that may make the code less maintainable or turn into bugs in future. The state-of-the-art tools for detecting concurrency bug patterns (CBPs) perform simple, intraprocedural analyses. While this simplicity makes the analysis fast, it does not provide protection against CBPs that involve aliasing or multiple methods. This paper introduces a practical and extensibl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 1993
ISSN: 0163-5948
DOI: 10.1145/174146.154196