Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)

Короткая ссылка: 20191205AC

Speaker: Youil Kim

SVACE is a static analysis tool for early detection of software bugs. Now SVACE has been deployed to most business divisions in Samsung Electronics. Most of C, C++, C# and Java source code in the company is regularly checked with SVACE. However, there were several challenges before the success story. We put a lot of time and effort in improving SVACE from 2013 to 2015. This talk presents some of the challenges we met during we were developing and deploying SVACE as one of the main static analyzers in our software development process.