hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Fix test of HttpResponse.getBody()

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2023-07-13 13:56:26 +02:00
parent 64a7206f3e
commit 991d5cc54b
3 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
python/ql/test/experimental/meta/ConceptsTest.qll
View File

@@ -292,10 +292,11 @@ module HttpServerHttpResponseTest implements TestSig {
exists(DedicatedResponseTest d | d.isDedicatedFile(file))
) and
(
exists(Http::Server::HttpResponse response |
location = response.getLocation() and
element = response.toString() and
value = prettyNodeForInlineTest(response.getBody()) and
exists(Http::Server::HttpResponse response, DataFlow::Node body |
body = response.getBody() and
location = body.getLocation() and
element = body.toString() and
value = prettyNodeForInlineTest(body) and
tag = "responseBody"
)
or

3
python/ql/test/library-tests/frameworks/aiohttp/ConceptsTest.expected
View File

@@ -1,5 +1,2 @@
failures
testFailures
| response_test.py:82:12:82:31 | ControlFlowNode for Attribute() | Unexpected result: responseBody=b"bar" |
| response_test.py:82:12:82:31 | ControlFlowNode for Attribute() | Unexpected result: responseBody=b"baz" |
| response_test.py:82:12:82:31 | ControlFlowNode for Attribute() | Unexpected result: responseBody=b"foo" |

6
python/ql/test/library-tests/frameworks/aiohttp/response_test.py
View File

@@ -82,9 +82,9 @@ async def streaming_response(request): # $ requestHandler
resp = web.StreamResponse() # $ HttpResponse mimetype=application/octet-stream
await resp.prepare(request)
await resp.write(b"foo") # $ MISSING: responseBody=b"foo"
await resp.write(data=b"bar") # $ MISSING: responseBody=b"bar"
await resp.write_eof(b"baz") # $ MISSING: responseBody=b"bar"
await resp.write(b"foo") # $ responseBody=b"foo"
await resp.write(data=b"bar") # $ responseBody=b"bar"
await resp.write_eof(b"baz") # $ responseBody=b"baz"
return resp