Python: Use FlaskModel as workaround name

As suggested by Taus 👍
This commit is contained in:
Rasmus Wriedt Larsen
2020-10-22 19:13:26 +02:00
parent 278c071fe6
commit 41ec4f8166

View File

@@ -14,7 +14,7 @@ private import experimental.semmle.python.frameworks.Werkzeug
* Provides models for the `flask` PyPI package.
* See https://flask.palletsprojects.com/en/1.1.x/.
*/
private module Flask_Private {
private module FlaskModel {
/** Gets a reference to the `flask` module. */
private DataFlow::Node flask(DataFlow::TypeTracker t) {
t.start() and