Commit Graph

215 Commits

Author SHA1 Message Date
Mathias Vorreiter Pedersen
aaa01820e0 PS: Add AST and CFG nodes for operator &. 2024-11-08 14:59:56 +00:00
Mathias Vorreiter Pedersen
2255fda9e6 PS: Accept test changes. These are all from the changes to 'toString' from the previous commit. 2024-11-07 12:59:06 +00:00
Mathias Vorreiter Pedersen
a086d63f31 PS: Drive-by fix: Better toString on Cmd. 2024-11-07 12:47:58 +00:00
Mathias Vorreiter Pedersen
7531d88f6d PS: Allow explicit module qualifiers to be selected with the 'instance' path. 2024-11-07 12:47:23 +00:00
Mathias Vorreiter Pedersen
689a34b823 PS: Add a public dataflow node class for TypeNames. 2024-11-07 12:46:08 +00:00
Mathias Vorreiter Pedersen
938069d5ba PS: Include more module IPA nodes. 2024-11-07 12:45:06 +00:00
Mathias Vorreiter Pedersen
18d8de1fc8 PS: Add a bunch of source models. 2024-11-06 13:43:18 +00:00
Mathias Vorreiter Pedersen
d02ad25aaa PS: Add (empty) model-related files. 2024-11-06 13:43:16 +00:00
Mathias Vorreiter Pedersen
4344e70543 PS: Include certain statements as local source nodes. 2024-11-06 13:43:14 +00:00
Mathias Vorreiter Pedersen
4f58b19217 PS: Add wrapper classes for local and remote flow sources. 2024-11-06 13:43:13 +00:00
Mathias Vorreiter Pedersen
2ffbf179d8 PS: Dataflow additions to support api graphs. 2024-11-06 13:43:10 +00:00
Mathias Vorreiter Pedersen
9a03d10eb1 PS: Add API graph files. 2024-11-06 13:43:07 +00:00
Mathias Vorreiter Pedersen
314951779d PS: Add shared files for API graphs. 2024-11-06 13:43:03 +00:00
Mathias Vorreiter Pedersen
5852fe40d8 PS: Add a concept of 'source call' vs. 'library call' to avoid non-monotonic recursion in the next commits. 2024-11-06 13:43:01 +00:00
Mathias Vorreiter Pedersen
cfde677eb2 PS: AST and control-flow additions required for MaD and Api graphs. 2024-11-06 13:42:58 +00:00
Mathias Vorreiter Pedersen
68c729f8cd PS: Models-as-data skeleton. 2024-11-06 13:41:05 +00:00
Mathias Vorreiter Pedersen
9fb5711cc6 PS: Drive-by fix: Match Ruby's implementation of 'getAMatchingContent'. 2024-11-06 13:41:04 +00:00
Mathias Vorreiter Pedersen
94220ec26b PS: Make use of static type information in dataflow dispatch. 2024-11-06 13:41:03 +00:00
Mathias Vorreiter Pedersen
92a8c84ce6 PS: Add predicates for getting the static type of a parameter. 2024-11-06 13:41:02 +00:00
Mathias Vorreiter Pedersen
a2158e2b68 PS: Add an extractor option to control whether to extract PSModulePath files and use that new option when running ql tests. 2024-11-06 11:52:27 +00:00
Mathias Vorreiter Pedersen
43f986c8c8 Merge pull request #132 from microsoft/powershell-extract-implicit-models
PS: Extract source files found via `PSModulePath`
2024-11-06 11:19:20 +01:00
Mathias Vorreiter Pedersen
a56cbfe425 PS: Upgrade and downgrade scripts. 2024-11-06 10:14:33 +00:00
Mathias Vorreiter Pedersen
28ddb9aa5b PS: Mark which files are from the PSModulePath environment variable. 2024-11-06 10:14:31 +00:00
Mathias Vorreiter Pedersen
261d7d7679 PS: Also extract .psd1 files. 2024-11-06 10:14:28 +00:00
Mathias Vorreiter Pedersen
df962d7626 PS: Also extract files from the PSModulePath environment variable. 2024-11-06 10:14:26 +00:00
Mathias Vorreiter Pedersen
faf3d7c943 PS: Accept test changes. 2024-11-04 14:49:52 +00:00
Mathias Vorreiter Pedersen
38451a8285 PS: Implement conditional splitting in the Powershell CFG. 2024-11-04 14:49:36 +00:00
Dilan Bhalla
027e01d18c adding powershell suites 2024-11-01 14:13:38 -07:00
Dilan Bhalla
4ff362fdb6 commenting out problematic powershell qll code 2024-10-30 11:03:10 -07:00
Mathias Vorreiter Pedersen
d70d40913c PS: Accept test changes. 2024-10-17 16:52:17 +01:00
Mathias Vorreiter Pedersen
d0febd7aae PS: Add taint flow through all operations. 2024-10-17 16:52:16 +01:00
Mathias Vorreiter Pedersen
cd017db09f PS: Add taint versions of local flow tests. 2024-10-17 16:52:14 +01:00
Mathias Vorreiter Pedersen
c728c7dba5 PS: Add helper predicates and classes to operations. 2024-10-17 16:52:13 +01:00
Mathias Vorreiter Pedersen
34781b8730 PS: Add test with missing flow. 2024-10-17 16:52:11 +01:00
Mathias Vorreiter Pedersen
e6c7ac2b21 PS: Accept test changes. 2024-10-17 14:07:11 +01:00
Mathias Vorreiter Pedersen
cc1348516f PS: Don't double increment when looping through if clauses. 2024-10-17 14:06:39 +01:00
Mathias Vorreiter Pedersen
6bb859dab0 PS: Accept test changes. 2024-10-17 11:52:34 +01:00
Mathias Vorreiter Pedersen
9278f03753 PS: Include parameter positions for top levels. 2024-10-17 11:52:31 +01:00
Mathias Vorreiter Pedersen
97d5af7b6b PS: Add failing test. 2024-10-17 11:42:29 +01:00
Mathias Vorreiter Pedersen
dec3e7191c PS: Add test and accept test changes. 2024-10-16 20:15:01 +01:00
Mathias Vorreiter Pedersen
b426c1fc62 PS: Make top level a function as well. 2024-10-16 20:12:10 +01:00
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
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
34c821fd2d PS: Drive-by fix. 2024-10-15 16:09:42 +01:00