Datenschutzerklärung|Data Privacy
Impressum

20.04.2016
A. Borusan

08.06.2016, 11 Uhr s.t. TU Berlin, EN building, seminar room EN 719 (7th floor), Einsteinufer 17, 10587 Berlin: "Challenges of Industrial Static Analysis" (Gábor Horváth)

Both parsing C++ code and doing static analysis are challenging tasks. Thus the static analysis of industrial C++ code is a very tough problem. I will introduce some static analysis algorithms: how they work, what are their limitations. The focus is on symbolic execution which is a very powerful abstract interpretation method. Unfortunately, the C++ compilation model makes it very hard to analyse calls to functions that are defined in a separate translation unit. I will introduce a solution that I proposed to solve this problem and the prototype I implemented in a Google Summer of Code (GSoC) 2014 project. Finally I will give a status update on using code generation in the serializers in Flink, which is my (proposed) GSoC 2016 project.