hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update Concepts.qll

Browse Source
This commit is contained in:
Ahmed Farid
2022-07-20 13:00:30 +01:00
committed by GitHub
parent e7742bd87c
commit 238d3250c3
1 changed files with 30 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
python/ql/src/experimental/semmle/python/Concepts.qll
View File

@@ -15,6 +15,36 @@ private import semmle.python.dataflow.new.TaintTracking
private import experimental.semmle.python.Frameworks
private import semmle.python.Concepts
/** Provides classes for modeling cryptography operation related APIs. */
module CryptographicOperation {
/**
* A data-flow node that collects methods taking input.
*
* Extend this class to model new APIs. If you want to refine existing API models,
* extend `CryptographicOperation` instead.
*/
abstract class Range extends DataFlow::Node {
/**
* Gets the argument containing the data.
*/
abstract DataFlow::Node getAnInput();
}
}
/**
* A data flow node for cryptography operation.
*
* Extend this class to refine existing API models. If you want to model new APIs,
* extend `CryptographicOperation::Range` instead.
*/
class CryptographicOperation extends DataFlow::Node {
CryptographicOperation::Range range;
CryptographicOperation() { this = range }
DataFlow::Node getAnInput() { result = range.getAnInput() }
}
/** Provides classes for modeling copying file related APIs. */
module CopyFile {
/**