The specifics of the development and testing of static analyser

In the talk, I will talk about the features of the development and testing of such software as a static analyser. 

I will describe both the standard testing methods that we are using (code reviews, Unit and UI tests, load testing) and specific ones that allow us to control the quality of bug search when making modifications to the analyser core.