Introduction to CodeQL, a language and toolchain for code analysis.