This commit is contained in:
jhutchings1
2020-07-11 12:43:17 -07:00
parent f1569d58df
commit b63d497b0e
2 changed files with 16 additions and 13 deletions
+15 -11
View File
@@ -233,17 +233,21 @@ function getCodeQLForCmd(cmd: string): CodeQL {
return JSON.parse(output);
},
databaseAnalyze: async function(databasePath: string, sarifFile: string, querySuite: string) {
await exec.exec(cmd, [
'database',
'analyze',
util.getMemoryFlag(),
util.getThreadsFlag(),
databasePath,
'--format=sarif-latest',
'--output=' + sarifFile,
'--no-sarif-add-snippets',
querySuite
]);
try {
await exec.exec(cmd, [
'database',
'analyze',
util.getMemoryFlag(),
util.getThreadsFlag(),
databasePath,
'--format=sarif-latest',
'--output=' + sarifFile,
'--no-sarif-add-snippets',
querySuite
]);
} catch (error) {
throw new Error ("Got it!" + error.message)
}
}
};
}