Despite years of research and development of static code analysis tools, industrial adoption of such tools still shows high abandonment rates. End-user experience highlights common issues that severely impact tool adoption. Long waiting times, numerous false positives, and a high number of warnings count among them. While past research has largely focused on improving the scalability and the precision of the tools, we advocate the notion of designing static analyses in a user-centric fashion. We achieve this by embedding the needs of the end-users - the code developers- into the analysis, providing them with tools that make static analysis easier to understand and to handle.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:05 - 12:25 | |||
10:05 30mTalk | User-Centric Static Analysis Doctoral Symposium | ||
10:35 30mTalk | Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium | ||
11:05 20mCoffee break | Coffee break Doctoral Symposium | ||
11:25 30mTalk | Language Design for Validatable Information System Specifications Doctoral Symposium | ||
11:55 30mTalk | Compositional and Mechanically Verified Program Analyzers Doctoral Symposium |