hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: avoid adding a deprecated CryptographicOperation#getInput to py/ruby

Browse Source
This commit is contained in:
Alex Ford
2023-02-14 16:41:28 +00:00
parent 8d90c02a67
commit c7aaad9ed0
4 changed files with 18 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
javascript/ql/lib/semmle/javascript/Concepts.qll
View File

@@ -115,5 +115,22 @@ abstract class PersistentWriteAccess extends DataFlow::Node {
* Provides models for cryptographic things.
*/
module Cryptography {
import semmle.javascript.internal.ConceptsShared::Cryptography
private import semmle.javascript.internal.ConceptsShared::Cryptography as SC
class CryptographicOperation extends SC::CryptographicOperation instanceof CryptographicOperation::Range {
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = this.getAnInput() }
}
class EncryptionAlgorithm = SC::EncryptionAlgorithm;
class HashingAlgorithm = SC::HashingAlgorithm;
class PasswordHashingAlgorithm = SC::PasswordHashingAlgorithm;
module CryptographicOperation = SC::CryptographicOperation;
class BlockMode = SC::BlockMode;
class CryptographicAlgorithm = SC::CryptographicAlgorithm;
}

6
javascript/ql/lib/semmle/javascript/internal/ConceptsShared.qll
View File

@@ -43,9 +43,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
DataFlow::Node getAnInput() { result = super.getAnInput() }
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = super.getInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used
@@ -70,9 +67,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
abstract DataFlow::Node getAnInput();
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = this.getAnInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used

6
python/ql/lib/semmle/python/internal/ConceptsShared.qll
View File

@@ -43,9 +43,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
DataFlow::Node getAnInput() { result = super.getAnInput() }
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = super.getInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used
@@ -70,9 +67,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
abstract DataFlow::Node getAnInput();
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = this.getAnInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used

6
ruby/ql/lib/codeql/ruby/internal/ConceptsShared.qll
View File

@@ -43,9 +43,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
DataFlow::Node getAnInput() { result = super.getAnInput() }
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = super.getInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used
@@ -70,9 +67,6 @@ module Cryptography {
/** Gets an input the algorithm is used on, for example the plain text input to be encrypted. */
abstract DataFlow::Node getAnInput();
/** DEPRECATED. This predicate has been renamed to `getAnInput`. */
deprecated final DataFlow::Node getInput() { result = this.getAnInput() }
/**
* Gets the block mode used to perform this cryptographic operation.
* This may have no result - for example if the `CryptographicAlgorithm` used