PS: Simplify the AST in Powershell#178

Merged

MathiasVP merged 26 commits intomainfrom

powershell-ipa-the-ast

Mar 27, 2025

Commits on Mar 25, 2025

PS: Extract more powershell files and fix off-by-one error in locations.
MathiasVP
committed

Commits on Mar 26, 2025

PS: Delete the old AST.
MathiasVP
committed

Commits on Mar 27, 2025

PS: Add user-facing AST classes.
MathiasVP
committed
PS: Add 'raw' AST classes coming directly from the extractor.
MathiasVP
committed
PS: Add control-flow node version of all the user-facing ast classes.
MathiasVP
committed
PS: Add the IPA type representing the AST.
MathiasVP
committed
PS: Add support for variables.
MathiasVP
committed
PS: Add synthesis framework for cleaning up the AST.
MathiasVP
committed
PS: Add an implicit this parameter to all methods.
MathiasVP
committed
PS: A call to set-variable is an explicit assignment.
MathiasVP
committed
PS: Synthesize a simpler notion of parameters.
MathiasVP
committed
PS: expr-to-stmt conversions.
MathiasVP
committed
PS: Synthesize Function and Type classes instead of relying on the statement that defines them.
MathiasVP
committed
PS: Remove the CmdExpr AST elements and synthesize StmtExpr instead where needed.
MathiasVP
committed
PS: Remove arguments that are just names for a named argument.
MathiasVP
committed
PS: PowerShell doesn't have a notion of true, false, null, etc. In the extracted AST these are just variables with special names. We insert synthesized AST elements that represent these special var…
MathiasVP
committed
PS: Inside a process block the name of a pipeline parameter actually refers to the individual elements in the pipeline. Add a synthesized variable access that represents this.
MathiasVP
committed
PS: Make the experimental query compile again.
MathiasVP
committed
PS: Make dataflow compile again.
MathiasVP
committed
PS: Make CFG construction compile again.
MathiasVP
committed
PS: Make SSA compile again.
MathiasVP
committed
PS: Make type-tracking and taint-tracking compile again.
MathiasVP
committed
PS: Make API graphs compile again. There is still some TODOs here, but at least it compiles.
MathiasVP
committed
PS: Repair tests and accept test changes in syntax tests.
MathiasVP
committed
PS: Accept CFG test changes.
MathiasVP
committed
PS: Accept dataflow/taint-tracking/type-tracking regressions.
MathiasVP
committed