hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-08 04:00:26 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update Concepts.qll

Browse Source
This commit is contained in:
Ahmed Farid
2022-03-06 23:53:00 +01:00
committed by GitHub
parent be7c619ca8
commit 466f75bad8
1 changed files with 0 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -45,36 +45,6 @@ class CopyFile extends DataFlow::Node {
DataFlow::Node getAPathArgument() { result = range.getAPathArgument() }
}
/** Provides classes for modeling zip related APIs. */
module ZipFile {
/**
* A data flow node for zipfile.
*
* Extend this class to model new APIs. If you want to refine existing API models,
* extend `ZipFile` instead.
*/
abstract class Range extends DataFlow::Node {
/**
* Get the parameter value of the zip function.
*/
abstract DataFlow::Node getAnInput();
}
}
/**
* A data flow node for zip.
*
* Extend this class to refine existing API models. If you want to model new APIs,
* extend `ZipFile::Range` instead.
*/
class ZipFile extends DataFlow::Node {
ZipFile::Range range;
ZipFile() { this = range }
DataFlow::Node getAnInput() { result = range.getAnInput() }
}
/** Provides classes for modeling log related APIs. */
module LogOutput {