Mathias Vorreiter Pedersen
|
bf9ed3bcb7
|
PS: Accept test changes.
|
2025-04-10 18:52:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
6084789f09
|
PS: Fix the top level arguments after the AST cleanup.
|
2025-04-10 18:50:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
793fd5eb7e
|
PS: Delete a redundant file.
|
2025-04-10 18:49:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
f8207fa92a
|
PS: Add a testcase to demonstrate flow through Join-String.
|
2025-04-09 15:20:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
ebb91dceb7
|
PS: Add a few more models after fixing MaD for Element content.
|
2025-04-09 15:20:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
6de4765fe6
|
PS: Support implicit imports in API graphs.
|
2025-04-09 15:20:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
a5afc3c582
|
PS: Flow through pipelines.
|
2025-04-09 15:20:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
5f12d7c970
|
PS: Taint flow through all calls to 'toString'.
|
2025-04-09 15:20:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
763effb50d
|
PS: Add more models and support pipeline parameters in MaD.
|
2025-04-09 15:20:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
f38c5f5b4f
|
PS: Add lots of models.
|
2025-04-09 15:20:32 +01:00 |
|
Chanel
|
a2d4296329
|
Merge branch 'main' into powershell-automatic-variables-as-member-edges
|
2025-04-04 09:03:09 -07:00 |
|
Mathias Vorreiter Pedersen
|
8a58af8f84
|
PS: Add a model for 'EscapeSingleQuotedStringContent' and add a test.
|
2025-04-04 15:48:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
65abf48ad6
|
PS: Add missing taint-flow and dataflow dispatch from models.
|
2025-04-04 15:40:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
f482c9dba7
|
PS: Make the implementation of 'getExtraNodeFromType' more complete. This is still not good enough, but it's enough to get the flow we need for now.
|
2025-04-04 15:39:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
03f356188b
|
PS: Accept test changes.
|
2025-04-04 12:33:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
cdd68b3951
|
PS: Improve the location of synthesized variables.
|
2025-04-04 12:33:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
ebc732756f
|
PS: Get rid of the pipelineVARIABLE and only have pipelinePARAMETER (and similarly for the by-propertyname versions).
|
2025-04-04 12:33:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
16348b5484
|
PS: Consistently use the pipeline parameter as the parameter when it supplied in the program.
|
2025-04-04 12:33:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
22bdcf0af2
|
PS: Force lower casing on method edges.
|
2025-04-03 20:33:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
4df449d4b0
|
PS: Add an edge from the root node to automatic variables, and from a member read qualifier to a read.
|
2025-04-03 20:30:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
4b14e5e7ec
|
PS: Lift automatic variables to the cfg and dataflow layers.
|
2025-04-03 20:30:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
50c57c2cb2
|
PS: Drive-by: Assign a location to top-level functions.
|
2025-04-03 20:29:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
2f215c1e0f
|
PS: Accept test changes.
|
2025-04-03 19:48:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
403c182dc9
|
PS: Fixup SSA after GitHub's recent changes.
|
2025-04-03 19:48:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
38536a9e38
|
PS: Accept test changes.
|
2025-04-03 18:46:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
5151eb3b64
|
PS: Add dataflow for pipeline-by-property-name variables.
|
2025-04-03 18:46:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
86ec291145
|
PS: Improve toString on phi nodes.
|
2025-04-03 18:46:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
3acbd83297
|
PS: Drive-by fix: The variable access in a foreach loop implicitly writes to the variable.
|
2025-04-03 18:46:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d04b11468
|
PS: Add some implicit reads at process blocks, and fix CFG for process blocks so that these reads appear in the CFG.
|
2025-04-03 18:46:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd8e5e6d8d
|
PS: Subclass AnyElement into positional or key-ional.
|
2025-04-03 18:46:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
5fa3beb13d
|
PS: Normalize parameter keywords and accept test changes.
|
2025-04-01 19:21:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c380fb7fb
|
PS: Add another missing flow found by Chanel.
|
2025-04-01 19:21:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
8ae92a5cdb
|
PS: Accept test changes.
|
2025-04-01 15:08:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
129b7876d7
|
PS: Allow shadowing of automatic variables.
|
2025-04-01 15:08:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
08dc8183e0
|
PS: Add Chanel's missing flow example.
|
2025-04-01 15:08:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b9720c908
|
PS: Accept test changes.
|
2025-03-31 20:12:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
88f638dc5c
|
PS: Fix more pipeline flow.
|
2025-03-31 20:12:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
ee4104b78c
|
PS: Fix parent-child mapping for iterator pipeline access synthesis.
|
2025-03-29 11:51:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
a6a17344ff
|
PS: Easier debugging with strings for child indices.
|
2025-03-29 11:18:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
7102ebbcf7
|
PS: Accept test changes.
|
2025-03-28 19:39:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
3643b93033
|
fixup! PS: Define pre-return node and implicit-wrapping nodes using the script block instead of the individual elements.
|
2025-03-28 19:36:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
5d5448df62
|
PS: Also use the new library to handle array expressions.
|
2025-03-28 19:36:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
b2cf155ff5
|
PS: Define pre-return node and implicit-wrapping nodes using the script block instead of the individual elements.
|
2025-03-28 19:35:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
ee8c586200
|
PS: Use the new library to calculate returned expressions.
|
2025-03-28 19:34:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
a9861e13e9
|
PS: Add a library that calculated escaping values much more efficiently using the forward/reverse pruning technique.
|
2025-03-28 19:33:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
f85767f47e
|
PS: add a super class for all loop-related CFG nodes.
|
2025-03-28 19:32:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
19454a50e9
|
PS: Small additions to the CFG classes and a small bugfix.
|
2025-03-28 19:32:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
18d94f2078
|
PS: Don't include the variable in the IPA definition for variable accesses.
|
2025-03-28 19:31:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
2da8da0777
|
PS: Add helper predicates for if statements.
|
2025-03-28 19:30:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
ee0a21e67f
|
PS: Make child mapping classes private.
|
2025-03-28 19:29:45 +00:00 |
|