From 47b1c9522cbc27b1d76d8741ae7709ee96264209 Mon Sep 17 00:00:00 2001
From: Michael Hohn <hohn@github.com>
Date: Mon, 20 Jul 2020 14:02:53 -0700
Subject: [PATCH] Build codeql database

---
 README.org | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README.org b/README.org
index 3e208f7..767a421 100644
--- a/README.org
+++ b/README.org
@@ -37,5 +37,17 @@
 
   #+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