Build codeql database

This commit is contained in:
Michael Hohn
2020-07-20 14:02:53 -07:00
committed by =Michael Hohn
parent d5b28fb6b5
commit 47b1c9522c

View File

@@ -37,5 +37,17 @@
#+END_SRC #+END_SRC
** Build codeql database
#+BEGIN_SRC sh
# Build the db with source commit id.
export PATH=$HOME/local/vmsync/codeql224:"$PATH"
SRCDIR=$HOME/local/codeql-dataflow-sql-injection/
DB=$HOME/local/db/codeql-dataflow-sql-injection-$(cd $SRCDIR && git rev-parse --short HEAD)
echo $DB
test -d "$DB" && rm -fR "$DB"
mkdir -p "$DB"
cd $SRCDIR
codeql database create --language=cpp -s $SRCDIR -j 8 -v $DB --command='./build.sh'
#+END_SRC