Skip to content

Commit 326eb69

Browse files
committed
Added
1 parent 5c8c99d commit 326eb69

File tree

2 files changed

+22
-0
lines changed

2 files changed

+22
-0
lines changed

python/ql/lib/semmle/python/Frameworks.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ private import semmle.python.frameworks.Anyio
1515
private import semmle.python.frameworks.Asyncpg
1616
private import semmle.python.frameworks.Baize
1717
private import semmle.python.frameworks.BSon
18+
private import semmle.python.frameworks.Bottle
1819
private import semmle.python.frameworks.CassandraDriver
1920
private import semmle.python.frameworks.Cherrypy
2021
private import semmle.python.frameworks.ClickhouseDriver

python/ql/lib/semmle/python/frameworks/Tornado.qll

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -605,4 +605,25 @@ module Tornado {
605605

606606
override DataFlow::Node getValueArg() { result in [this.getArg(1), this.getArgByName("value")] }
607607
}
608+
609+
/**
610+
* A call to the `tornado.web.RequestHandler.set_header` method.
611+
*
612+
* See https://www.tornadoweb.org/en/stable/web.html#tornado.web.RequestHandler.set_header
613+
*/
614+
class TornadoRequestHandlerSetHeaderCall extends Http::Server::ResponseHeaderWrite::Range,
615+
DataFlow::MethodCallNode
616+
{
617+
TornadoRequestHandlerSetHeaderCall() {
618+
this.calls(TornadoModule::Web::RequestHandler::instance(), "set_header")
619+
}
620+
621+
override DataFlow::Node getNameArg() { result in [this.getArg(0), this.getArgByName("name")] }
622+
623+
override DataFlow::Node getValueArg() { result in [this.getArg(1), this.getArgByName("value")] }
624+
625+
override predicate nameAllowsNewline() { none() }
626+
627+
override predicate valueAllowsNewline() { none() }
628+
}
608629
}

0 commit comments

Comments
 (0)