6 Commits

Author	SHA1	Message	Date
yoff	531f2a15a4	python: model send_header from http.server	2025-04-30 19:58:14 +02:00
Rasmus Lerchedahl Petersen	0dc036abd1	Python: Allow type tracking through comprehensions ... - the subscript operator is extended to comprehensions - the capture jump-step is extended to work for the functions generated inside comprehensions	2024-10-03 09:31:02 +02:00
Rasmus Wriedt Larsen	7020e4132b	Python: Model BaseHTTPRequestHandler.rfile as file-like object	2021-07-22 10:43:18 +02:00
Rasmus Wriedt Larsen	d388dd547e	Python: Model HTTPMessage from Stdlib	2021-07-22 10:43:18 +02:00
Rasmus Wriedt Larsen	3e7dc12246	Python: Port taint tests to use inline expectations ... The meat of this PR is described in the new python/ql/test/experimental/meta/InlineTaintTest.qll file: > Defines a InlineExpectationsTest for checking whether any arguments in > `ensure_tainted` and `ensure_not_tainted` calls are tainted. > > Also defines query predicates to ensure that: > - if any arguments to `ensure_not_tainted` are tainted, their annotation is marked with `SPURIOUS`. > - if any arguments to `ensure_tainted` are not tainted, their annotation is marked with `MISSING`. > > The functionality of this module is tested in `ql/test/experimental/meta/inline-taint-test-demo`.	2021-04-15 18:00:33 +02:00
Rasmus Wriedt Larsen	d9079e34e3	Python: Move framework tests out of experimental ... Since they are not experimental anymore 😄	2021-03-19 15:51:54 +01:00