10 Commits

Author	SHA1	Message	Date
Rasmus Lerchedahl Petersen	f669a4f3bf	Python: Make sure all imprecise taint bubbles up	2026-05-21 16:59:14 +01:00
Rasmus Lerchedahl Petersen	9a180036a5	Python: conversion step for format_map ... and adjust collection test	2026-05-21 16:59:08 +01:00
Rasmus Lerchedahl Petersen	facb3b681d	Python: recover taint for % format strings	2026-05-21 16:57:50 +01:00
Rasmus Lerchedahl Petersen	b67694b2ab	Python: Remove imprecise container steps ... - remove `tupleStoreStep` and `dictStoreStep` from `containerStep` These are imprecise compared to the content being precise. - add implicit reads to recover taint at sinks - add implicit read steps for decoders to supplement the `AdditionalTaintStep` that now only covers when the full container is tainted.	2026-05-21 16:57:44 +01:00
Jeroen Ketema	c3ea883b11	Python: Update expected test results	2024-12-03 19:18:57 +01:00
Taus	65dbc1de91	Python: Add copy.replace test to list of runnable tests	2024-10-15 18:17:00 +02:00
Taus	778b96aa39	Python: Update test expectations	2024-10-15 12:14:19 +00:00
Taus	e16405c675	Python: Add test for copy.replace ... This test demonstrates the current state of affairs: that `copy.replace` essentially blocks all flow of taint through it, because it has not been modelled yet.	2024-10-15 11:48:43 +00:00
Rasmus Lerchedahl Petersen	fb07a56de6	Python: adjust test expectations	2024-09-30 13:26:59 +02:00
Rasmus Wriedt Larsen	ce711f7d2f	Python: Move dataflow tests out of experimental	2024-04-23 09:40:44 +02:00