Simon Friis Vindum
|
b0a3cdc68c
|
Rust: Generate flow summaries for higher-order functions
|
2025-02-04 14:03:19 +01:00 |
|
Simon Friis Vindum
|
c9e702d107
|
Rest: Add tests for higher-order functions
|
2025-02-04 13:44:29 +01:00 |
|
Geoffrey White
|
d72361588c
|
Update rust/ql/test/library-tests/dataflow/sources/test.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-02-04 12:25:02 +00:00 |
|
Simon Friis Vindum
|
8d01bbc1e3
|
Merge pull request #18628 from paldepind/rust-flow-summary-generation
Rust: Initial model generation setup
|
2025-02-04 12:37:09 +01:00 |
|
Geoffrey White
|
23e9270a20
|
Rust: Add test cases for flow through references.
|
2025-02-04 10:28:08 +00:00 |
|
Geoffrey White
|
810dd55d47
|
Rust: Add test cases for flow through async / await.
|
2025-02-04 10:28:06 +00:00 |
|
Geoffrey White
|
ff53d422cb
|
Rust: Model some sources in hyper.
|
2025-02-04 10:28:05 +00:00 |
|
Geoffrey White
|
d64d955253
|
Rust: Add test cases for requests through hyper + http.
|
2025-02-04 10:27:58 +00:00 |
|
Simon Friis Vindum
|
07413315a1
|
Rust: Address PR comments
|
2025-02-04 10:19:04 +01:00 |
|
Simon Friis Vindum
|
fc15c0d3b2
|
Merge branch 'main' into rust-flow-summary-generation
|
2025-02-04 10:10:33 +01:00 |
|
Tom Hvitved
|
f1050c4988
|
Rust: Shorthand record pattern destructuring in data flow
|
2025-02-03 13:00:52 +01:00 |
|
Asger F
|
fc1d36f867
|
Rust: update a Rust test case
|
2025-02-03 11:31:04 +01:00 |
|
Simon Friis Vindum
|
0a9b864738
|
Rust: Fix model generation test
|
2025-02-03 09:06:07 +01:00 |
|
Tom Hvitved
|
8eb5792f3b
|
Address review comments
|
2025-01-31 10:10:55 +01:00 |
|
Tom Hvitved
|
1f6d39f520
|
Rust: Rename modules test to path-resolution
|
2025-01-31 10:07:10 +01:00 |
|
Tom Hvitved
|
0aee2e6fb2
|
Rust: Implement path resolution in QL
|
2025-01-31 10:07:08 +01:00 |
|
Simon Friis Vindum
|
f76647fc00
|
Rust: Initial model generation setup
|
2025-01-30 11:45:21 +01:00 |
|
Arthur Baars
|
54efb0a4a6
|
Merge pull request #18611 from github/aibaars/use-tree-star
Rust: add UseTree::is_star
|
2025-01-29 14:42:03 +01:00 |
|
Geoffrey White
|
3b5397f3b0
|
Rust: Model Iterator.collect.
|
2025-01-29 09:19:20 +00:00 |
|
Geoffrey White
|
de149a9623
|
Rust: Model Iterator.nth.
|
2025-01-29 09:19:19 +00:00 |
|
Geoffrey White
|
919e7978cd
|
Rust: Add PrettyPrintModels.ql to the test. I gather this stabilized the output MaD IDs.
|
2025-01-28 16:23:20 +00:00 |
|
Arthur Baars
|
8d96c87abe
|
Rust: add UseTree::is_star
|
2025-01-28 16:12:25 +01:00 |
|
Tom Hvitved
|
8b82eaa633
|
Rust: Fix data flow through callbacks passed to library functions
|
2025-01-28 13:44:27 +01:00 |
|
Geoffrey White
|
f2564c351f
|
Rust: Changes to other tests - mostly MaD IDs :(.
|
2025-01-28 09:22:30 +00:00 |
|
Geoffrey White
|
dfd1865b96
|
Rust: Add some basic flow models.
|
2025-01-28 08:47:15 +00:00 |
|
Geoffrey White
|
c04d619a3c
|
Rust: Add a couple of extra data flow test cases.
|
2025-01-28 08:47:13 +00:00 |
|
Geoffrey White
|
185a23b3c6
|
Rust: Allow implicit flow out of content at the test sinks, so that we see our results.
|
2025-01-28 08:43:06 +00:00 |
|
Geoffrey White
|
a1980d4d08
|
Rust: Make sources more accurate (Option / Result contents).
|
2025-01-28 08:43:05 +00:00 |
|
Geoffrey White
|
fd9fb10bb9
|
Rust: Accept changes from fixing the ].
|
2025-01-27 22:50:09 +00:00 |
|
Geoffrey White
|
494d8f2da0
|
Rust: Update MaD IDs for an unrelated test. :(
|
2025-01-27 22:22:41 +00:00 |
|
Geoffrey White
|
9d6a13cec2
|
Rust: Accept improved results for rust/sql-injection. Note that the lost annotations are only sources, not results, and I suspect will return when we have sufficient flow in these cases.
|
2025-01-27 22:22:38 +00:00 |
|
Geoffrey White
|
7cf872baad
|
Rust: Adjust the tests to work around test processing of /.
|
2025-01-27 21:00:08 +00:00 |
|
Geoffrey White
|
23ac35e5ca
|
Rust: Model more Reqwest methods (.await still doesn't work though).
|
2025-01-27 20:52:31 +00:00 |
|
Geoffrey White
|
9583a2a7d3
|
Rust: Additional test cases for reqwest sources.
|
2025-01-27 20:42:35 +00:00 |
|
Geoffrey White
|
f32fd38f74
|
Merge pull request #18582 from geoffw0/logging
Rust: Query for cleartext logging of sensitive information
|
2025-01-27 10:37:17 +00:00 |
|
Geoffrey White
|
0a3d44c44e
|
Rust: Re-apply suggested changes (I accidentally force-pushed them away).
|
2025-01-24 17:31:38 +00:00 |
|
Geoffrey White
|
117db8a9b2
|
Rust: Make the test runnable.
|
2025-01-24 17:22:42 +00:00 |
|
Simon Friis Vindum
|
c195840ec8
|
Rust: Add two additional control flow tests
|
2025-01-24 16:09:32 +01:00 |
|
Simon Friis Vindum
|
e13a7a224f
|
Merge branch 'main' into shared-basic-block-library
|
2025-01-24 09:54:26 +01:00 |
|
Simon Friis Vindum
|
b84adec407
|
Merge pull request #18568 from paldepind/rust-container
Rust: Change array element content type into a general collection element content type
|
2025-01-24 09:40:46 +01:00 |
|
Tom Hvitved
|
10f55133fe
|
Merge pull request #18482 from hvitved/rust/nested-functions
Rust: Take nested functions into account when resolving variables
|
2025-01-24 08:41:34 +01:00 |
|
Geoffrey White
|
037d496a68
|
Rust: Fix some more tests (MaD ID changes and extraction consistency issues).
|
2025-01-23 19:14:28 +00:00 |
|
Geoffrey White
|
814118d3e8
|
Merge remote-tracking branch 'upstream/main' into logging
|
2025-01-23 19:04:25 +00:00 |
|
Geoffrey White
|
4214c837b8
|
Rust: Clean up the query message.
|
2025-01-23 18:03:25 +00:00 |
|
Geoffrey White
|
e70816727b
|
Rust: Add the sinks to metrics.
|
2025-01-23 17:17:25 +00:00 |
|
Geoffrey White
|
59c3ac6f80
|
Rust: Allow flow through reference taking (&).
|
2025-01-23 17:17:07 +00:00 |
|
Geoffrey White
|
78c58aa5f1
|
Rust: Allow implicit taint reads from tuple contents at sinks.
|
2025-01-23 17:17:05 +00:00 |
|
Geoffrey White
|
64444940a6
|
Rust: Add taint sinks for target and key-value arguments.
|
2025-01-23 17:17:04 +00:00 |
|
Geoffrey White
|
2bbf493991
|
Rust: Model assert_failed.
|
2025-01-23 17:17:03 +00:00 |
|
Geoffrey White
|
484331c303
|
Rust: Model StdoutLock, StderrLock methods and String.as_bytes.
|
2025-01-23 17:17:02 +00:00 |
|