detect logic errors

выявлять логические ошибки (such as assigning to a variable that is never subsequently referenced or testing a condition that always evaluates to the same true or false value; корпорации AdaCore Alex_Odeychuk)