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

..

basic

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

callgraph_crosstalk

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

calls

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

calls-overload

Python: Model @typing.overload in method resolution

2026-03-05 22:20:03 +00:00

consistency

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

coverage

Python: Move Python 3.15 data-flow tests to a separate file

2026-04-17 13:16:46 +00:00

coverage-pep798

Python: Move Python 3.15 data-flow tests to a separate file

2026-04-17 13:16:46 +00:00

coverage-py2

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

coverage-py3

Update expected test output column numbers

2026-03-04 15:02:53 +00:00

def-use-flow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

enclosing-callable

Python: update test expectations

2024-09-30 12:00:38 +02:00

exceptions

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

fieldflow

Python: Update globalVariableAttrPathAtDepth base case

2025-09-16 18:08:53 +02:00

global-flow

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

global-or-captured-vars

python: Inline expectation should have space after $

2026-03-04 12:45:05 +00:00

import-star

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

match

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

method-calls

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

model-summaries

python: Inline expectation should have space after $

2026-03-04 12:45:05 +00:00

module-initialization

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

path-graph

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

pep_328

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

qll-private-imports

CI: accept other diagnostic format related test changes

2024-06-19 11:33:50 +02:00

regression

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

sensitive-data

Python: Remove imprecise container steps

2026-05-21 16:57:44 +01:00

strange-essaflow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

summaries

Python: Simple dataflow annotations

2026-02-16 13:48:32 +00:00

summaries-checks

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

tainttracking

Python: Remove imprecise container steps

2026-05-21 16:57:44 +01:00

typetracking

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

typetracking_imports

Python: Update expected test results

2024-12-03 19:18:57 +01:00

typetracking-summaries

Python: Simple dataflow annotations

2026-02-16 13:48:32 +00:00

use-use-flow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

variable-capture

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

options

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

testlib.py

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

validTest.py

python: Add test for functional-like programming

2024-10-15 12:54:30 +02:00