GitHub купил разработчика инструмента для анализа кода Semmle