heisenbug Heisenbug 2018 Msc (06.12.2018)

What static analyzers can do while developers and testers can't

img

We will demonstrate the benefits of static code analysis tools on practical examples. There is a number of errors, which can be hardly found using other methods. And such errors will be showcased in abundance. We invite developers and testers to evaluate all of the power and beauty of static code analysis methodology.

One of the technologies of detecting errors on the early stages is static code analysis. Unfortunately, a number of tools implement the analysis rather superficially which reduces credibility towards static analysis methodology in general. Some programmers start thinking that code analysis is something based on regular expressions and they will easily find such errors themselves. Actually everything is much more complicated and interesting. Moreover, it is incredibly difficult to find many bugs, unless you use static code analysis tools. And this talk will demonstrate a wide range of such cases.

After listening to the talk, you’ll have a new look at static analysis. Andrey will also tell where to start if you’d like to introduce a static analysis tool in already existing development process.