https://tproger.ru/news/github-acquires-semmle