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 \ -- \