6 Commits

Author	SHA1	Message	Date
Taus Brock-Nannestad	3c47394b7a	Python: Apply auto-format.	2019-11-18 16:28:54 +01: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
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	91cfc9bd4c	Change kind to path-problem.	2019-03-01 11:06:48 +01:00
Taus Brock-Nannestad	895b237e3c	Python: Make "Modification of parameter with default" flow-sensitive.	2019-02-04 19:05:04 +01:00
Mark Shannon	5f58824d1b	Initial commit of Python queries and QL libraries.	2018-11-19 15:10:42 +00:00