Geoffrey White
|
be40085982
|
Rust: Add a test of flow sources reaching sinks as well.
|
2024-11-22 09:13:42 +00:00 |
|
Geoffrey White
|
a85ad4ec29
|
Rust: Add a dataflow/sources test.
|
2024-11-22 09:13:41 +00:00 |
|
Geoffrey White
|
ca424d1e61
|
Rust: Add a count of flow sources to rust/summary/summary-statistics.
|
2024-11-22 09:13:39 +00:00 |
|
Paolo Tranquilli
|
a82d267223
|
Rust: accept test changes
|
2024-11-21 16:03:56 +01:00 |
|
Paolo Tranquilli
|
6776b31c0d
|
Rust: tweak PathType string representations and add one for InferType
|
2024-11-21 15:27:34 +01:00 |
|
Geoffrey White
|
b7c7a9ee7c
|
Rust: Accept consistency check failures.
|
2024-11-21 14:23:51 +00:00 |
|
Geoffrey White
|
ae6b7b0277
|
Merge branch 'main' into sql1
|
2024-11-21 14:18:04 +00:00 |
|
Simon Friis Vindum
|
fffeac6a13
|
Rust: Extend data flow library instantiation for global data flow
|
2024-11-21 15:11:25 +01:00 |
|
Simon Friis Vindum
|
bb70bfce43
|
Rust: Tweak global data flow test and add inline flow test
|
2024-11-21 15:03:58 +01:00 |
|
Paolo Tranquilli
|
c2b426df76
|
Rust: accept test changes
|
2024-11-21 12:54:13 +01:00 |
|
Paolo Tranquilli
|
6a6154913b
|
Merge branch 'main' into redsun82/rust-str
|
2024-11-21 11:50:38 +01:00 |
|
Paolo Tranquilli
|
5012332bb2
|
Rust: fix Path.toString and address some review comments
|
2024-11-21 11:13:06 +01:00 |
|
Tom Hvitved
|
e6887f982e
|
Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll
|
2024-11-21 10:21:13 +01:00 |
|
Tom Hvitved
|
c8736e8a3d
|
Rust: Auto-generate CfgNodes.qll
|
2024-11-21 10:21:11 +01:00 |
|
Tom Hvitved
|
1c2fdc29a3
|
Rust: Add more local data flow tests
|
2024-11-21 10:21:09 +01:00 |
|
Tom Hvitved
|
fab29361cb
|
Rust: Add more CFG tests
|
2024-11-21 10:21:06 +01:00 |
|
Paolo Tranquilli
|
d609c1b7e6
|
Rust: fix OrPat.toString
|
2024-11-20 17:00:13 +01:00 |
|
Paolo Tranquilli
|
fd45e11f4b
|
Rust: accept test changes
|
2024-11-20 16:49:20 +01:00 |
|
Paolo Tranquilli
|
b4af5a61d1
|
Rust: more advanced toString
|
2024-11-20 16:21:23 +01:00 |
|
Simon Friis Vindum
|
93f6f042e1
|
Rust: Update expected file
|
2024-11-20 12:39:31 +01:00 |
|
Paolo Tranquilli
|
4d04c5af83
|
Rust: fix non-existent string representations
|
2024-11-20 12:08:51 +01:00 |
|
Simon Friis Vindum
|
24adbb80c7
|
Rust: Include self parameters in the CFG
|
2024-11-20 11:50:46 +01:00 |
|
Simon Friis Vindum
|
55121d866c
|
Rust: Add CFG tests for method definitions with self parameters
|
2024-11-20 11:45:42 +01:00 |
|
Paolo Tranquilli
|
57973df795
|
Rust: make CallExpr.toString use call identifier if present
|
2024-11-20 10:00:10 +01:00 |
|
Paolo Tranquilli
|
fce13aeb35
|
Rust: accept test changes
|
2024-11-19 17:50:14 +01:00 |
|
Simon Friis Vindum
|
e5951516b8
|
Merge pull request #18026 from paldepind/rust-df-local
Rust: Add local data flow edge for SSA nodes
|
2024-11-19 15:41:25 +01:00 |
|
Tom Hvitved
|
7a065746d6
|
Merge pull request #18024 from hvitved/rust/cfg/async-block-return
Rust: Handle early returns in `async` blocks in CFG
|
2024-11-19 15:21:34 +01:00 |
|
Simon Friis Vindum
|
2c9bee6208
|
Rust: Only add data flow edge to SSA write definitions from their underlying CFG node
|
2024-11-19 14:32:31 +01:00 |
|
Simon Friis Vindum
|
6ae979293c
|
Rust: Accept inconsistencies
|
2024-11-19 13:26:01 +01:00 |
|
Geoffrey White
|
758092b1d6
|
Rust: Add consistency check failures.
|
2024-11-19 12:04:15 +00:00 |
|
Simon Friis Vindum
|
23bfa8a9bc
|
Rust: Add local data flow edge for SSA definitons
|
2024-11-19 12:19:47 +01:00 |
|
Geoffrey White
|
c7c6924fda
|
Rust: Implement query, source/sink/barrier classes and concepts. All of this is framework, nothing is concretely modelled yet.
|
2024-11-19 11:09:43 +00:00 |
|
Simon Friis Vindum
|
bacc37d886
|
Rust: Add additional tests for intraprocedural data flow
|
2024-11-19 12:07:26 +01:00 |
|
Geoffrey White
|
2df565c84f
|
Rust: Add options.yml and sqlx 'query cache' (result of 'sqlx prepare') so that the query test can function.
|
2024-11-19 10:56:37 +00:00 |
|
Geoffrey White
|
28d0ad94d5
|
Rust: Add placeholder SQL injection query, linked in test.
|
2024-11-19 10:56:36 +00:00 |
|
Geoffrey White
|
3673c7c813
|
Rust: Add SQL injection test cases (complete and functioning).
|
2024-11-19 10:56:35 +00:00 |
|
Simon Friis Vindum
|
b3668f8183
|
Merge pull request #17971 from paldepind/rust-df-patterns
Rust: Include patterns as data flow nodes
|
2024-11-19 11:12:12 +01:00 |
|
Simon Friis Vindum
|
2307df41ed
|
Merge pull request #18010 from paldepind/rust-df-viable-callable
Rust: Include method calls in DataFlowCall and implement simple call target resolution
|
2024-11-19 11:10:34 +01:00 |
|
Tom Hvitved
|
bb8d0b4881
|
Rust: Handle early returns in async blocks in CFG
|
2024-11-19 10:33:25 +01:00 |
|
Tom Hvitved
|
b6103e1ef4
|
Rust: Add CFG test for early return in async block
Also made the test comply with `cargo check`.
|
2024-11-19 10:32:43 +01:00 |
|
Tom Hvitved
|
ef9f3835e5
|
Merge pull request #18007 from hvitved/rust/cfg/and-let
Rust: Improve CFG for `let` expressions
|
2024-11-19 10:23:32 +01:00 |
|
Tom Hvitved
|
46b4bad510
|
Rust: Update expected test output
|
2024-11-19 08:59:12 +01:00 |
|
Tom Hvitved
|
c85a5f9644
|
Rust: Run cargo fmt
|
2024-11-19 08:58:34 +01:00 |
|
Paolo Tranquilli
|
f7ee5f4bf5
|
Merge pull request #18003 from github/redsun82/rust-qltest
Rust: only accept `options.yml` in QL tests
|
2024-11-18 17:24:57 +01:00 |
|
Tom Hvitved
|
74b5ebe4bf
|
Rust: Improve CFG for let expressions
|
2024-11-18 15:51:16 +01:00 |
|
Tom Hvitved
|
8be1127e8c
|
Rust: Add more CFG tests
|
2024-11-18 15:51:15 +01:00 |
|
Simon Friis Vindum
|
58a1b004ab
|
Rust: Include method calls in DataFlowCall and implement simple call
target resolution
|
2024-11-18 15:27:21 +01:00 |
|
Simon Friis Vindum
|
4e97a9554a
|
Rust: Add interprocedural tests
|
2024-11-18 15:21:15 +01:00 |
|
Paolo Tranquilli
|
b11388c49b
|
Rust: accept test changes
|
2024-11-18 12:06:25 +01:00 |
|
Paolo Tranquilli
|
8137419d93
|
Rust: only accept options.yml in QL tests
|
2024-11-18 10:40:29 +01:00 |
|