7 Commits

Author	SHA1	Message	Date
Rasmus Lerchedahl Petersen	5650694313	Python: update tests	2024-10-11 15:36:44 +02:00
Rasmus Wriedt Larsen	7483075b7e	Python: Fixup modeling of os.open	2024-09-10 14:32:37 +02:00
Rasmus Wriedt Larsen	d245db54a1	Python: Model file threat-model	2024-09-10 14:32:37 +02:00
Rasmus Wriedt Larsen	66f389a4b6	Python: Model stdin thread-model	2024-09-10 14:32:36 +02:00
Rasmus Wriedt Larsen	e1801f3a29	Python: Proper threat-model handling for argparse	2024-09-10 14:32:36 +02:00
Rasmus Wriedt Larsen	56c85ffe54	Python: Fixup threat-models for os.environ.get() ... Since using `.DictionaryElementAny` doesn't actually do a store on the source, (so we can later follow any dict read-steps). I added the ensure_tainted steps to highlight that the result of the WHOLE expression ends up "tainted", and that we don't just mark `os.environ` as the source without further flow.	2024-09-10 14:32:36 +02:00
Rasmus Wriedt Larsen	b9239d7101	Python: Add basic support for environment/commandargs threat-models	2024-09-10 14:32:36 +02:00