[2] Semmle's LGTM technology automates code review, tracks developer contributions, and flags software security issues.

[2] The LGTM platform leverages the CodeQL query engine (formerly QL)[3] to perform semantic analysis on software code bases.

The company was headquartered in San Francisco, with its development operations based in Blue Boar Court, Alfred Street, central Oxford, England.

The CodeQuest system,[9] developed at the University of Oxford, was the first to exploit the observation that Datalog, a very restrictive version of logic programming, is in the sweet spot between expressive power and efficiency.

A full account of the academic and industrial developments leading up to the creation of SemmleCode can be found in a paper by Hajiyev et al.[11] To illustrate the use of QL, consider the well-known rule in object-oriented programming that public fields should be declared final.