4 Commits

Author	SHA1	Message	Date
Jeroen Ketema	c3ea883b11	Python: Update expected test results	2024-12-03 19:18:57 +01:00
Rasmus Wriedt Larsen	55f5b26ba6	Python: Accept new ordering of query predicates in .expected	2023-11-15 10:09:54 +01:00
Jeroen Ketema	dba4460526	Python: Update more inline expectation tests to use the paramterized module	2023-06-20 10:16:15 +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