Benchmarking and testing of code analyzers and compilers

In our daily routine we use hundreds of system programming tools, but we never think are they reliable and how are they tested. In this talk we will try to show what is usually done for validation and testing of code analyzers and system programming tools, especially compilers that usually have hundreds of thousands tests.

Andrey will tell what benchmarks and frameworks are used for that and also will give some insights about open-source cloud platform SAVE (https://github.com/saveourtool) for automation and help in testing of benchmarking of static analyzers.