From c1b3c8d901eacddbb7949a8ca3b8acc11ffbda86 Mon Sep 17 00:00:00 2001 From: Michael Hohn Date: Sun, 21 Aug 2022 21:05:38 -0700 Subject: [PATCH] Updated readme --- README.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.org b/README.org index b46efd8..22f4869 100644 --- a/README.org +++ b/README.org @@ -63,7 +63,7 @@ To get started, build the codeql database (adjust paths to your setup): #+BEGIN_SRC sh # Build the db with source commit id. - export PATH=$HOME/local/codeql-2.7.6/codeql:"$PATH" + export PATH=$HOME/local/codeql-v2.9.3/codeql:"$PATH" SRCDIR=$HOME/local/codeql-dataflow-sql-injection DB=$SRCDIR/cpp-sqli-$(cd $SRCDIR && git rev-parse --short HEAD) @@ -184,7 +184,7 @@ #+BEGIN_SRC sh # The setup information from before - export PATH=$HOME/local/codeql-2.7.6/codeql:"$PATH" + export PATH=$HOME/local/codeql-v2.9.3/codeql:"$PATH" SRCDIR=$HOME/local/codeql-dataflow-sql-injection DB=$SRCDIR/cpp-sqli-$(cd $SRCDIR && git rev-parse --short HEAD) @@ -201,7 +201,7 @@ --ram=14000 \ -j12 \ --rerun \ - --search-path $HOME/local/codeql-2.7.6/ql \ + --search-path $HOME/local/codeql-v2.9.3/ql \ --format=sarif-latest \ --output cpp-sqli.sarif \ -- \