Semmle was a semantic code-analysis company whose engine let developers write queries (in its QL query language) to find security vulnerabilities and their variants across large codebases, and which powered the free open-source code review platform LGTM.com. Its technology was adopted by Uber, NASA, Microsoft, and Google. - View it on GitHub