Loading…
For full conference details, see the website: http://llvm.org/devmtg/2019-10/
Wednesday, October 23 • 11:55am - 12:30pm
The Penultimate Challange: Constructing bug reports in the Clang Static Analyzer

Sign up or log in to save this to your schedule and see who's attending!

Static analysis is used to find errors or code smells statically. As the highest cost factor regarding static analysis is the human effort the expert makes evaluating whether a report is a true positive, presenting our findings in an easy-to-understand manner is of the utmost importance.
This talk will explore the techniques and data structures used by the Clang Static Analyzer to construct bug reports. It will briefly explain the construction of the ExplodedGraph during symbolic execution, and how it will be processed after the analysis. Using a combination of data and control dependency analysis with the help of the inspection of the ExplodedGraph, the analyzer tries to construct user friendly diagnostics. Since symbolic execution is a kind of path sensitive analysis, the idea behind the solution the analyzer employs is general enough to create diagnostics for other kinds of analyses. We will also discuss the challenges the analyzer faces and future development possibilities.

Speakers
KU

Kristóf Umann

Eötvös Loránd University, Ericsson


Wednesday October 23, 2019 11:55am - 12:30pm
Breakout Room-1 (LL21AB)

Attendees (21)