hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 09:13:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix review findings

Browse Source
This commit is contained in:
Tamas Vajk
2021-06-30 08:30:26 +02:00
parent 6a35c8c5f4
commit dc63f23d6b
3 changed files with 6 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
misc/scripts/library-coverage/utils.py
View File

@@ -27,15 +27,11 @@ def create_empty_database(lang, extension, database):
database, "--no-pre-finalize"])
def upgrade_codeql_database(database, search_path):
subprocess_run(["codeql", "database", "upgrade", database,
"--search-path", search_path])
def run_codeql_query(query, database, output):
def run_codeql_query(query, database, output, search_path):
"""Runs a codeql query on the given database."""
subprocess_run(["codeql", "query", "run", query,
"--database", database, "--output", output + ".bqrs"])
# --search-path is required when the CLI needs to upgrade the database scheme.
subprocess_run(["codeql", "query", "run", query, "--database", database,
"--output", output + ".bqrs", "--search-path", search_path])
subprocess_run(["codeql", "bqrs", "decode", output + ".bqrs",
"--format=csv", "--no-titles", "--output", output])
os.remove(output + ".bqrs")