Add overlay annotations

This commit is contained in:
Jeroen Ketema
2025-07-07 11:55:50 +02:00
parent cbde11ddc9
commit 199587095a
4 changed files with 8 additions and 0 deletions

View File

@@ -9,6 +9,8 @@
* each language, but we will maintain a discipline of moving those concepts to * each language, but we will maintain a discipline of moving those concepts to
* `ConceptsShared.qll` ASAP. * `ConceptsShared.qll` ASAP.
*/ */
overlay[local?]
module;
private import CryptoAlgorithms as CA private import CryptoAlgorithms as CA
private import codeql.dataflow.DataFlow as DF private import codeql.dataflow.DataFlow as DF

View File

@@ -3,6 +3,8 @@
* *
* The classification into strong and weak are based on Wikipedia, OWASP and Google (2021). * The classification into strong and weak are based on Wikipedia, OWASP and Google (2021).
*/ */
overlay[local?]
module;
private import codeql.concepts.internal.CryptoAlgorithmNames private import codeql.concepts.internal.CryptoAlgorithmNames

View File

@@ -7,6 +7,8 @@
* *
* The classification into strong and weak are based on Wikipedia, OWASP and Google (2021). * The classification into strong and weak are based on Wikipedia, OWASP and Google (2021).
*/ */
overlay[local?]
module;
/** /**
* Holds if `name` corresponds to a strong hashing algorithm. * Holds if `name` corresponds to a strong hashing algorithm.

View File

@@ -6,6 +6,8 @@
* *
* 'Sensitive' data in general is anything that should not be sent around in unencrypted form. * 'Sensitive' data in general is anything that should not be sent around in unencrypted form.
*/ */
overlay[local?]
module;
/** /**
* A classification of different kinds of sensitive data: * A classification of different kinds of sensitive data: