1. 2
  1. 4

    TL;DR they have a bespoke static analyser; despite not preventing a certain class of bugs, it is very useful.