https://loganspace.com/news/news-github-acquires-code-analysis-tool-semmle-loganspace/