Skip to content
Merged
Changes from 1 commit
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
b67694b
Python: Remove imprecise container steps
yoff Sep 17, 2024
facb3b6
Python: recover taint for % format strings
yoff Sep 17, 2024
93e7ab5
Python: adjust test expectations
yoff Nov 1, 2024
9a18003
Python: conversion step for `format_map`
yoff Nov 11, 2024
3275c81
Python: reset test expectations
yoff Nov 11, 2024
f669a4f
Python: Make sure all imprecise taint bubbles up
yoff Nov 11, 2024
0ecca91
Python: typo
yoff Nov 13, 2024
fa9426c
Python: extra tests for comprehension
yoff Nov 13, 2024
fa758d6
python: fix test
yoff Dec 3, 2024
e877929
Update test results
owen-mc May 21, 2026
ec13e1b
Add wildcard `ContentSet`s to avoid performance problems
owen-mc May 27, 2026
80c6f08
Fix TODO in `containerStep`
owen-mc May 28, 2026
812e8e6
Add change note
owen-mc May 28, 2026
df15a71
Add a `ContentSet` for any tuple or dictionary element
owen-mc May 28, 2026
aee33a0
Add missing code for `TAnyTupleOrDictionaryElement`
owen-mc May 29, 2026
b384404
Address review comment
owen-mc May 31, 2026
ad97b6d
Use access path for `str.join` model
owen-mc Jun 2, 2026
dede5bc
Track flow through `tuple()` with list with tainted elements
owen-mc Jun 2, 2026
c3ef1dd
Add MaD models for lxml and xml etree.fromstringlist
owen-mc Jun 2, 2026
f62ebef
Adjust expected test output
owen-mc Jun 2, 2026
20ce679
Accept changed edges in test output
owen-mc Jun 2, 2026
b27d08e
Update edges in expected test output
owen-mc Jun 2, 2026
04341c4
Tweak model for str.join
owen-mc Jun 2, 2026
5042fde
Remove imprecise model for `list()`
owen-mc Jun 2, 2026
6f2cc43
Remove imprecise model for `tuple()`
owen-mc Jun 2, 2026
da999ee
Address review comments
owen-mc Jun 3, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add missing code for TAnyTupleOrDictionaryElement
  • Loading branch information
owen-mc committed May 29, 2026
commit aee33a0cc90918b121717ee26719fc25fe51a174
Original file line number Diff line number Diff line change
Expand Up @@ -950,6 +950,13 @@ class ContentSet extends TContentSet {
or
this = TAnyDictionaryElement() and
(result instanceof DictionaryElementContent or result instanceof DictionaryElementAnyContent)
or
this = TAnyTupleOrDictionaryElement() and
(
result instanceof TupleElementContent or
result instanceof DictionaryElementContent or
result instanceof DictionaryElementAnyContent
)
}

/** Gets a textual representation of this content set. */
Expand All @@ -959,6 +966,8 @@ class ContentSet extends TContentSet {
this = TAnyTupleElement() and result = "Any tuple element"
or
this = TAnyDictionaryElement() and result = "Any dictionary element"
or
this = TAnyTupleOrDictionaryElement() and result = "Any tuple or dictionary element"
}
}

Expand Down
Loading