Статический анализ и property-based тестирование: вместе мы сила / Habr