A parameter that has a type annotation of aiohttp.web.Request, so with all
likelihood will receive an aiohttp.web.Request instance at some point when a
request handler is invoked.
Import path
import semmle.python.frameworks.AiohttpDirect supertypes
Indirect supertypes
Predicates
| getSourceType | Gets a string that describes the type of this threat-model source. |
Inherited predicates
| asCfgNode | Gets the control-flow node corresponding to this node, if any. | from Node |
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| backtrack | Gets a node that may flow into this one using one heap and/or interprocedural step. | from LocalSourceNode |
| flowsTo | Holds if this | from LocalSourceNode |
| getACall | Gets a call to this node. | from LocalSourceNode |
| getALocalSource | Gets a local source node from which data may flow to this node in zero or more local data-flow steps. | from Node |
| getAMethodCall | Gets a call to the method | from LocalSourceNode |
| getAnAttributeRead | Gets a read of any attribute on this node. | from LocalSourceNode |
| getAnAttributeRead | Gets a read of attribute | from LocalSourceNode |
| getAnAttributeReference | Gets a reference (read or write) of any attribute on this node. | from LocalSourceNode |
| getAnAttributeReference | Gets a reference (read or write) of attribute | from LocalSourceNode |
| getAnAttributeWrite | Gets a write of any attribute on this node. | from LocalSourceNode |
| getAnAttributeWrite | Gets a write of attribute | from LocalSourceNode |
| getAnAwaited | Gets an awaited value from this node. | from LocalSourceNode |
| getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
| getLocation | Gets the location of this node | from Node |
| getParameter | Gets the parameter corresponding to this node, if any. | from ParameterNode |
| getScope | Gets the scope of this node. | from Node |
| getSubscript | Gets a subscript of this node. | from LocalSourceNode |
| getThreatModel | Gets a string that represents the source kind with respect to threat modeling. | from Range |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| toString | Gets a textual representation of this element. | from Node |
| track | Gets a node that this node may flow to using one heap and/or interprocedural step. | from LocalSourceNode |