Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 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
1 - General Session (Rm LL20ABC)

Attendees (21)