Merge pull request #89 from marcransome/codeql

Add CodeQL helper scripts

.gitignore

@@ -1,3 +1,5 @@
 .DS_Store
 ._*
 build/
+codeql-database/
+codeql-analysis.sarif

tool/codeql-analyse-database

@@ -0,0 +1,16 @@
+#!/bin/bash
+
+parent_dir="$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd)"
+codeql_db_dir="codeql-database"
+codeql_sarif_file="codeql-analysis.sarif"
+
+cd "${parent_dir}/.."
+
+[[ -f "${codeql_sarif_file}" ]] && rm -f "${codeql_sarif_file}"
+
+if [[ ! -d "${codeql_db_dir}" ]]; then
+    echo "No such CodeQL database directory: $(pwd)/${codeql_db_dir}"
+    exit 1
+fi
+
+codeql database analyze "${codeql_db_dir}" --format="sarif-latest" --output="${codeql_sarif_file}" "codeql/cpp-queries:codeql-suites/cpp-security-and-quality.qls"

tool/codeql-create-database

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+parent_dir="$(cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd)"
+codeql_db_dir="codeql-database"
+build_dir="build"
+
+cd "${parent_dir}/.."
+
+[[ -d "${build_dir}" ]] && rm -rf "${build_dir}"
+[[ -d "${codeql_db_dir}" ]] && rm -rf "${codeql_db_dir}"
+
+codeql database create "${codeql_db_dir}" --source-root="./src" --language="cpp" --command="cmake -S .. -B ../${build_dir}" --command="cmake --build ../build"