54 Commits

Author	SHA1	Message	Date
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 Lerchedahl Petersen	52a9040d73	Python update tests	2021-04-15 09:46:53 +02:00
Rasmus Lerchedahl Petersen	8489403051	Python: Add some tests for pathlib	2021-04-15 09:40:23 +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