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

Update Concepts.qll

Browse Source
This commit is contained in:
Ahmed Farid
2022-09-05 18:26:56 +01:00
committed by GitHub
parent f84331f5a5
commit 23871b3f5a
1 changed files with 0 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -371,39 +371,6 @@ class HeaderDeclaration extends DataFlow::Node {
DataFlow::Node getValueArg() { result = range.getValueArg() }
}
/** Provides classes for modeling HTTP Header APIs. */
module HeaderCollection {
/**
* A data-flow node that collects functions getting HTTP Headers.
*
* Extend this class to model new APIs. If you want to refine existing API models,
* extend `HeaderCollection` instead.
*/
abstract class Range extends DataFlow::Node {
/**
* Gets the argument containing the header name.
*/
abstract DataFlow::Node getNameArg();
}
}
/**
* A data-flow node that collects functions getting HTTP Headers.
*
* Extend this class to refine existing API models. If you want to model new APIs,
* extend `HeaderCollection::Range` instead.
*/
class HeaderCollection extends DataFlow::Node {
HeaderCollection::Range range;
HeaderCollection() { this = range }
/**
* Gets the argument containing the header name.
*/
DataFlow::Node getNameArg() { result = range.getNameArg() }
}
/** Provides classes for modeling Csv writer APIs. */
module CsvWriter {
/**