C++ Meetup: CodeChecker: Static Analysis of C++ programs
Tuesday, April 26, 2016 18.00h
Népliget Center, 1097 Budapest, Könyves Kálmán krt. 11., Budapest
17:30 - Doors open, registration 18:00 - Presentation by Gábor Horváth and György Orbán 19:15 - Follow-up discussions with snacks 20:30 - After-party with other meetups at Google Ground (1082 Budapest, Nagytemplom utca 30.)
In this talk we will show how the Clang Static Analyzer and the Ericsson developed open source CodeChecker tools can be used to find fatal C/C++ bugs without running your program. We will compare the advantages of the symbolic execution technique of Clang SA with the advantages of other tools, such as Cppcheck, or CppLint. You will learn how to implement simple checkers yourself!