Practical Detection of Concurrency Issues at Coding Time
We have developed a practical static checker that is designed to interactively mark data races and deadlocks in program source code at development time. As this use case requires a checker to be both fast and precise, we engaged a simple technique of randomized bounded concrete concurrent interpretation that is experimentally effective for this purpose. Implemented as a tool for C# in Visual Studio, the checker covers the broad spectrum of concurrent language concepts, including task and data parallelism, asynchronous programming, UI dispatching, the various synchronization primitives, monitor, atomic and volatile accesses, and finalizers. Its application to popular open-source C# projects revealed several real issues with only a few false positives.
Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 20mTalk | Repositioning of Static Analysis Alarms ISSTA Technical Papers Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology | ||
11:20 20mTalk | Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots ISSTA Technical Papers Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens | ||
11:40 20mTalk | Static Analysis of Java Dynamic Proxies ISSTA Technical Papers George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens | ||
12:00 20mTalk | Practical Detection of Concurrency Issues at Coding Time ISSTA Technical Papers Luc Bläser Hochschule für Technik Rapperswil | ||
12:20 10m | Q&A in groups ISSTA Technical Papers |