File tree Expand file tree Collapse file tree 3 files changed +6
-6
lines changed
lib/semmle/python/frameworks
src/experimental/semmle/python/frameworks Expand file tree Collapse file tree 3 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -25,7 +25,7 @@ private module Mysql {
2525 // mysql
2626 // ---------------------------------------------------------------------------
2727 /** Provides models for the `mysql` module. */
28- module mysql {
28+ module MysqlMod {
2929 /**
3030 * The mysql.connector module
3131 * See https://dev.mysql.com/doc/connector-python/en/connector-python-example-connecting.html
Original file line number Diff line number Diff line change @@ -11,15 +11,15 @@ private import semmle.python.ApiGraphs
1111import semmle.python.dataflow.new.RemoteFlowSources
1212
1313private module ExperimentalPrivateDjango {
14- private module django {
14+ private module DjangoMod {
1515 API:: Node http ( ) { result = API:: moduleImport ( "django" ) .getMember ( "http" ) }
1616
17- module http {
17+ module Http {
1818 API:: Node response ( ) { result = http ( ) .getMember ( "response" ) }
1919
2020 API:: Node request ( ) { result = http ( ) .getMember ( "request" ) }
2121
22- module request {
22+ module Request {
2323 module HttpRequest {
2424 class DjangoGETParameter extends DataFlow:: Node , RemoteFlowSource:: Range {
2525 DjangoGETParameter ( ) { this = request ( ) .getMember ( "GET" ) .getMember ( "get" ) .getACall ( ) }
@@ -29,7 +29,7 @@ private module ExperimentalPrivateDjango {
2929 }
3030 }
3131
32- module response {
32+ module Response {
3333 module HttpResponse {
3434 API:: Node baseClassRef ( ) {
3535 result = response ( ) .getMember ( "HttpResponse" ) .getReturn ( )
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ private import experimental.semmle.python.Concepts
1212private import semmle.python.ApiGraphs
1313
1414private module Werkzeug {
15- module datastructures {
15+ module Datastructures {
1616 module Headers {
1717 class WerkzeugHeaderAddCall extends DataFlow:: CallCfgNode , HeaderDeclaration:: Range {
1818 WerkzeugHeaderAddCall ( ) {
You can’t perform that action at this time.
0 commit comments