Loading…
Back To Schedule
Friday, November 4 • 2:15pm - 3:00pm
Summary-based inter-unit analysis for Clang Static Analyzer

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

The ability to perform interprocedural analysis is one of the most powerful features of Clang Static Analyzer. This talk is devoted to the ongoing improvement of this feature. We will discuss our implementation of summary-based interprocedural analysis as well as cross translation unit analysis. These features allow faster analysis with a greater number of potentially found bugs. We are going to describe our implementation details and approaches and discuss their pros and cons.

Speakers
avatar for Aleksei Sidorin

Aleksei Sidorin

Leading Software Engineer, Samsung R&D Institute Russia


Friday November 4, 2016 2:15pm - 3:00pm PDT
1 - General Session (Rm LL20ABC)