8 Commits

Author	SHA1	Message	Date
Rasmus Wriedt Larsen	5d5d412b78	Python: Add test of safe methods for py/modification-of-default-value	2020-05-05 11:14:37 +02:00
Taus Brock-Nannestad	cac261858c	Python: Don't report mutable parameters that are in fact immutable. ... Fixes #1832. In the taint sink, we add an additional check that the given control-flow node can indeed point to a value that is mutable. This takes care of the guard on the type. If and when we get around to adding configurations for all of the taint analyses, we may want to implement this as a barrier instead, pruning any steps that go through a type test where the type is not mutable.	2019-11-18 16:18:44 +01:00
Rasmus Wriedt Larsen	c6d9eb9254	Python: Move more tests for argument names into own file ... Plus fixup of expected output from unrelated tests	2019-09-26 13:25:14 +02:00
Rasmus Wriedt Larsen	3c33e863ad	Python: split tests for Functions into more files ... Makes it easier to see what the testcases are relevant for what queries.	2019-09-19 11:54:28 +02:00
Mark Shannon	2edde1fed8	Python taint-tracking. Handle early exit and 'not' correctly for 'falsey' taints.	2019-03-22 11:58:23 +00:00
Mark Shannon	94190e76aa	Python: Update py/modification-of-default-value to account for truthiness of default value.	2019-03-01 12:01:39 +00:00
Taus Brock-Nannestad	895b237e3c	Python: Make "Modification of parameter with default" flow-sensitive.	2019-02-04 19:05:04 +01:00
Mark Shannon	05b69a1c0f	QL tests for Python queries and libraries.	2018-11-19 15:15:54 +00:00