Швейцарский DeepCode автоматически проверяет и оптимизирует код на основе 250 тысяч правил