Sergey Khrenov - Static analysis as an additional barrier against bugs