detect suspicious and potentially incorrect data flows | выявлять подозрительные или потенциально некорректные потоки данных (such as variables read before they are written (uninitialized variables), variables written more than once without being read (redundant assignments), and variables that are written but never read; корпорации AdaCore Alex_Odeychuk) |