Commit Graph

71092 Commits

Author SHA1 Message Date
Mathias Vorreiter Pedersen
56c703ec80 PS: Move a bunch of predicates into ScriptBlock. 2024-10-16 20:11:49 +01:00
Mathias Vorreiter Pedersen
d3b9e139c4 PS: Extend the set of sources in tests. 2024-10-16 18:54:24 +01:00
Mathias Vorreiter Pedersen
3c18124faf PS: Add taint-tracking files. 2024-10-16 18:26:34 +01:00
Mathias Vorreiter Pedersen
4cd37d63d7 Merge pull request #124 from microsoft/powershell-more-correct-value-from-property-name
PS: Allow for `ValueFromPipelineByPropertyName` to also read off an `ElementContent`
2024-10-16 16:47:51 +01:00
Mathias Vorreiter Pedersen
ef75ffef56 PS: Accept test changes. 2024-10-16 16:43:02 +01:00
Mathias Vorreiter Pedersen
a8de859dfb PS: Add a failing test. 2024-10-16 16:41:06 +01:00
Mathias Vorreiter Pedersen
7836a09e8a fixup! PS: Rename a few classes and tests. 2024-10-16 16:40:32 +01:00
Mathias Vorreiter Pedersen
70bc32a542 PS: Make sure we handle pipeline-value-from-property-name variables when passed an array. 2024-10-16 16:39:30 +01:00
Mathias Vorreiter Pedersen
b66f3b02aa PS: Rename a few classes and tests. 2024-10-16 16:26:51 +01:00
Mathias Vorreiter Pedersen
bfa9210b4b Merge pull request #123 from microsoft/flow-through-ValueFromPipelineByPropertyName
PS: Flow through `ValueFromPipelineByPropertyName` parameters
2024-10-15 16:11:42 +01:00
Mathias Vorreiter Pedersen
34c821fd2d PS: Drive-by fix. 2024-10-15 16:09:42 +01:00
Mathias Vorreiter Pedersen
3c38133bf3 PS: Drive-by fix. 2024-10-15 16:09:40 +01:00
Mathias Vorreiter Pedersen
fb74de4860 PS: Accept test changes. 2024-10-15 16:09:36 +01:00
Mathias Vorreiter Pedersen
fad9133343 PS: Add a read step out of property name parameter nodes. 2024-10-15 16:09:32 +01:00
Mathias Vorreiter Pedersen
87cc9cd88a PS: Also ignore pipeline property name parameters in the pipeline-related predicates. 2024-10-15 15:48:05 +01:00
Mathias Vorreiter Pedersen
1dcd3180b1 PS: Add test with missing flow. 2024-10-15 15:43:39 +01:00
Mathias Vorreiter Pedersen
a16b51a0bb Merge pull request #122 from microsoft/powershell-flow-through-conversions
PS: Flow through conversions
2024-10-15 13:39:28 +01:00
Mathias Vorreiter Pedersen
0e298a80e8 PS: Flow through parentheses. 2024-10-15 13:37:20 +01:00
Mathias Vorreiter Pedersen
e683f04e7b PS: Rename getExpr to getBase on ParenExpr. 2024-10-15 13:37:03 +01:00
Mathias Vorreiter Pedersen
959cbd7467 PS: Add another failing test with parentheses. 2024-10-15 13:36:17 +01:00
Mathias Vorreiter Pedersen
72e18ac135 PS: Flow through conversions. 2024-10-15 13:26:39 +01:00
Mathias Vorreiter Pedersen
43fcbcaffb PS: Rename getExpr to getBase on ConvertExpr. 2024-10-15 13:26:18 +01:00
Mathias Vorreiter Pedersen
97672f9e91 PS: Add test. 2024-10-15 13:21:43 +01:00
Mathias Vorreiter Pedersen
91d3f11bcc Merge pull request #121 from microsoft/flow-through-hashtables
PS: Flow through hash table creation, reads, and writes
2024-10-15 12:58:44 +01:00
Mathias Vorreiter Pedersen
2aacb580e2 PS: Accept test changes. 2024-10-15 12:54:17 +01:00
Mathias Vorreiter Pedersen
96de8111b5 PS: Dataflow through hash table creation, reads and writes. 2024-10-15 12:53:34 +01:00
Mathias Vorreiter Pedersen
656f98d361 PS: AST and CFG improvements to hash tables. 2024-10-15 12:53:07 +01:00
Mathias Vorreiter Pedersen
37c12639ed PS: Improve constant expression AST hierachy. 2024-10-15 12:52:41 +01:00
Mathias Vorreiter Pedersen
c8d70470a0 PS: Add tests with missing flow. 2024-10-15 12:46:54 +01:00
Mathias Vorreiter Pedersen
8aa119b6dc Merge pull request #120 from microsoft/flow-through-array-expr
PS: Flow through arrays
2024-10-14 20:15:07 +01:00
Mathias Vorreiter Pedersen
bc7c893006 PS: Accept test changes. 2024-10-14 20:10:51 +01:00
Mathias Vorreiter Pedersen
8bed9536bf PS: Flow through array expressions. 2024-10-14 20:09:19 +01:00
Mathias Vorreiter Pedersen
e63778a009 PS: CFG and AST helpers. 2024-10-14 20:08:54 +01:00
Mathias Vorreiter Pedersen
efee104f3d PS: Generalize the current ReturnContainer computation. 2024-10-14 20:06:46 +01:00
Mathias Vorreiter Pedersen
eb0f094e0b Merge pull request #119 from microsoft/powershell-unwrapping
PS: Flow through pipelines
2024-10-14 20:02:01 +01:00
Mathias Vorreiter Pedersen
1b454ed3e1 PS: add tests and accept test changes. 2024-10-14 18:14:52 +01:00
Mathias Vorreiter Pedersen
0aa6670247 PS: Model underscore parameters as pipeline parameters. 2024-10-14 18:14:50 +01:00
Mathias Vorreiter Pedersen
a0e17ee37b PS: Implicitly read any element content at sinks when doing taint flow. 2024-10-14 18:14:47 +01:00
Mathias Vorreiter Pedersen
1ec0f53a18 PS: Don't perform store steps and (and index removal, and all the othe complex return business) when there is only a single returned expression. 2024-10-14 18:14:45 +01:00
Mathias Vorreiter Pedersen
b2225fe7b5 PS: Drive-by performance fix: Don't generate N store steps when storing into an unknown index. 2024-10-14 18:14:43 +01:00
Mathias Vorreiter Pedersen
01a556e583 PS: Ensure the constants 0 .. 10 always exists. 2024-10-14 18:14:42 +01:00
Mathias Vorreiter Pedersen
51269633b0 PS: Pipeline flow. 2024-10-14 18:14:40 +01:00
Mathias Vorreiter Pedersen
cc995b1059 PS: Generalize getARead. 2024-10-14 18:14:38 +01:00
Mathias Vorreiter Pedersen
950a10be90 PS: Fix CFG ordering on CmdExpr. 2024-10-14 18:14:35 +01:00
Mathias Vorreiter Pedersen
830bf57d3a PS: Pipeline parameter and argument positions. 2024-10-14 18:14:33 +01:00
Mathias Vorreiter Pedersen
cbf9496202 PS: Helper predicates and classes. 2024-10-14 18:14:31 +01:00
Mathias Vorreiter Pedersen
3c19578e89 PS: Hide the new nodes and enure that we still show the old return node. 2024-10-14 18:14:28 +01:00
Mathias Vorreiter Pedersen
93a48646e6 PS: Accept test changes. 2024-10-14 18:14:26 +01:00
Mathias Vorreiter Pedersen
6797f8f729 PS: Add flow into, and out of, the new implicit unwrapping nodes. 2024-10-14 18:14:23 +01:00
Mathias Vorreiter Pedersen
15a22e5746 PS: Make the new return node an acual return node. 2024-10-14 18:14:21 +01:00