Github recently launched code scanning, which is based on an open-source collection of CodeQL queries…