Paper Info
Title
Finding synchronization defects in java programs: extended static analyses and code patterns
Abstract
Concurrent programming is getting more and more important. Managing concurrency requires the usage of synchronization mechanisms, which is error-prone. Well-known examples for synchronization defects are deadlocks and race conditions. Detecting such errors is known to be difficult. There are several approaches to identify potential errors, but they either produce a high number of false positives or suffer from high computational overhead, catching only a small number of defects. Our approach uses static analysis techniques combined with points-to and may-happen-in-parallel (MHP) information to reduce the number of false positives. Additionally, we present code patterns indicating possible synchronization problems. We have implemented our approach using the Java framework Soot. Our tool was tested with small code examples, an open source web server, and commercial software. First results show that the number of false positives is reduced significantly.
Year
DOI
Venue
2008
10.1145/1370082.1370093
Proceedings of the 1st international workshop on Multicore software engineering
Keywords
DocType
Citations 
possible synchronization problem,synchronization defect,extended static analysis,java program,synchronization defects,small number,synchronization mechanism,present code pattern,java framework,high number,false positive,small code example,lockset analysis,java,anti-pattern detection,high computational overhead,race condition,static analysis
Conference
5
PageRank 
References 
Authors
0.47
10
2
Name
Order
Citations
PageRank
Frank Otto1352.55
Thomas Moschny2374.18