From e916fa00ee7a45cff10799ace34eaa20d79ebf33 Mon Sep 17 00:00:00 2001 From: Mauro Baluda Date: Mon, 17 Apr 2023 18:00:29 +0200 Subject: [PATCH 1/2] For now we don't have test 6 --- initialize-qltests.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/initialize-qltests.sh b/initialize-qltests.sh index 63717a4..bea2992 100755 --- a/initialize-qltests.sh +++ b/initialize-qltests.sh @@ -17,7 +17,7 @@ target_dirs=( for dir in "${target_dirs[@]}"; do # copy test-part1.c to the Exercise1-Exercise6 directories - for i in {1..6}; do + for i in {1..5}; do cp $SRCDIR/test_part1.c $dir/Exercise$i/test.c done # copy test-part2.c to the Exercise7-Exercise11 directories @@ -30,4 +30,4 @@ for dir in "${target_dirs[@]}"; do # done done -exit 0 \ No newline at end of file +exit 0 From e77314ba565d5706cb899ef820e715744a240610 Mon Sep 17 00:00:00 2001 From: Mauro Baluda Date: Mon, 17 Apr 2023 18:02:12 +0200 Subject: [PATCH 2/2] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 2738e54..ae48481 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ You can view an example solution for each exercise in the `solutions` directory. - Install the latest version of the [CodeQL CLI](https://github.com/github/codeql-cli-binaries/releases). - Clone this repository: ```bash - git clone https://github.com/kraiouchkine/codeql-workshop-dataflow-cpp.git + git clone https://github.com/kraiouchkine/codeql-workshop-dataflow-c.git ``` - Install the CodeQL pack dependencies using the command `CodeQL: Install Pack Dependencies` and select `exercises`, `solutions`, `exercises-tests`, and `solutions-tests` from the list of packs. - Build the databases using `build-databases.sh` and load the appropriate database for each part of the workshop with the VS Code CodeQL extension. Alternatively, you can download the following prebuilt databases: @@ -366,4 +366,4 @@ You should now see path-sensitive results with no false-negatives or false-posit * Use `typeValidationCallMatchesUse` in `isSink`. - \ No newline at end of file +