Rasmus Lerchedahl Petersen b93c04bb79 python: Add reverse flow in some patterns ...

Particularly in value and literal patterns.
This is getting a little bit into the guards aspect of matching.
We could similarly add reverse flow in terms of
sub-patterns storing to a sequence pattern,
a flow step from alternatives to an-or-pattern, etc..
It does not seem too likely that sources are embedded in patterns
to begin with, but for secrets perhaps?

It is illustrated by the literal test. The value test still fails.
I believe we miss flow in general from the static attribute.

2022-01-27 15:20:23 +01:00

..

dataflowTest.expected

python: dataflow for match

2022-01-19 14:29:58 +01:00

dataflowTest.ql

python: dataflow for match

2022-01-19 14:29:58 +01:00

test.py

python: Add reverse flow in some patterns

2022-01-27 15:20:23 +01:00