hohn/codeql-workshop-dataflow-c
1
0
Fork 0
mirror of https://github.com/hohn/codeql-workshop-dataflow-c.git synced 2025-12-16 10:33:04 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1 from mbaluda/patch-2

Browse Source 
Minor fixes
This commit is contained in:
Nikita Kraiouchkine
2023-04-17 18:24:03 +02:00
committed by GitHub
parent 1c70a42041 e77314ba56
commit 050a8d7ea9
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -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). - Install the latest version of the [CodeQL CLI](https://github.com/github/codeql-cli-binaries/releases).
- Clone this repository: - Clone this repository:
```bash ```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. - 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: - 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`. * Use `typeValidationCallMatchesUse` in `isSink`.
</details> </details>

2
initialize-qltests.sh
View File

@@ -30,4 +30,4 @@ for dir in "${target_dirs[@]}"; do
# done # done
done done
exit 0 exit 0