Samsung Electronics has huge amount of source code written in C/C++ and this source code is to be verified to identify defects or weaknesses which are too difficult to find during testing. So a lot of developers use static analysis tools, which can find such defects without program execution. One of these static analysis tool is Clang static analyzer, which is a part of open source Clang C/++/Objective C front-end. This paper describes how Clang static analyzer is used in Samsung Electronics and what was done in terms of the general tool improvements and which results were achieved with help of the tool.
Evgeny Pavlov
Leading Software Engineer, Project Leader, Samsung R&D Institute Russia
Evgeny graduated Sterlitamak State Pedagogical Academy in 2009, specializing in Applied Math and IT. In 2014 he earned his PhD in MIREA (Moscow State Institute of Radio Engineering, Electronics and Automation). Evgeny’s main interest is the software defect detecton using statical analysis.
Comment