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 |
|
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
|
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
|
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
|
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
|
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 |
|