PS: Fix PowerShell dataflow/taint-tracking failures - #180

Merged

Mathias Vorreiter Pedersen (MathiasVP) merged 13 commits into

mainfrom

powershell-ast-modernization-follow-up

Mar 28, 2025

Commits on Mar 27, 2025

PS: Don't include the this parameter in getParameter.
Mathias Vorreiter Pedersen (MathiasVP)
committed
dcb98ab
PS: Handle this parameters in a few more places.
Mathias Vorreiter Pedersen (MathiasVP)
committed
7b9a41a

Commits on Mar 28, 2025

PS: Make child mapping classes private.
Mathias Vorreiter Pedersen (MathiasVP)
committed
ee0a21e
PS: Add helper predicates for if statements.
Mathias Vorreiter Pedersen (MathiasVP)
committed
2da8da0
PS: Don't include the variable in the IPA definition for variable accesses.
Mathias Vorreiter Pedersen (MathiasVP)
committed
18d94f2
PS: Small additions to the CFG classes and a small bugfix.
Mathias Vorreiter Pedersen (MathiasVP)
committed
19454a5
PS: add a super class for all loop-related CFG nodes.
Mathias Vorreiter Pedersen (MathiasVP)
committed
f85767f
PS: Add a library that calculated escaping values much more efficiently using the forward/reverse pruning technique.
Mathias Vorreiter Pedersen (MathiasVP)
committed
a9861e1
PS: Use the new library to calculate returned expressions.
Mathias Vorreiter Pedersen (MathiasVP)
committed
ee8c586
PS: Define pre-return node and implicit-wrapping nodes using the script block instead of the individual elements.
Mathias Vorreiter Pedersen (MathiasVP)
committed
b2cf155
PS: Also use the new library to handle array expressions.
Mathias Vorreiter Pedersen (MathiasVP)
committed
5d5448d
fixup! PS: Define pre-return node and implicit-wrapping nodes using the script block instead of the individual elements.
Mathias Vorreiter Pedersen (MathiasVP)
committed
3643b93
PS: Accept test changes.
Mathias Vorreiter Pedersen (MathiasVP)
committed
7102ebb