Geoffrey White
b2e3352aa8
Rust: Add a few more macro tests.
2025-03-07 14:36:26 +00:00
Simon Friis Vindum
494f914070
Rust: Add regular expression injection query
2025-03-07 12:37:30 +01:00
Geoffrey White
abe14babb1
Rust: Clean up the existing macro cases for the unusedentities test.
2025-03-07 11:24:42 +00:00
Anders Schack-Mulligen
b1e53f5816
Rust: Accept consistency failure.
2025-03-07 11:11:49 +01:00
Geoffrey White
b6c9be23c1
Merge branch 'main' into constcrypto
2025-03-07 09:11:10 +00:00
Geoffrey White
42e7d1e983
Rust: Fix typo.
2025-03-06 19:09:01 +00:00
Geoffrey White
9af2d0218b
Rust: Add the new sinks to stats.
2025-03-06 18:50:11 +00:00
Geoffrey White
b4a6063e20
Rust: Add std::mem::zeroed as a source.
2025-03-06 17:48:45 +00:00
Geoffrey White
ac94ac6584
Rust: Model even more sinks + flows.
2025-03-06 17:48:44 +00:00
Geoffrey White
055baf2769
Rust: Improve results on arrays (less duplication).
2025-03-06 17:48:43 +00:00
Geoffrey White
aacbfc0fd8
Rust: Improve alert messages.
2025-03-06 17:48:41 +00:00
Geoffrey White
a6e106e025
Rust: Model more sinks + flows.
2025-03-06 17:48:40 +00:00
Geoffrey White
9fb00daeec
Rust: Implement the query (with one source, one sink model).
2025-03-06 17:48:39 +00:00
Geoffrey White
bd75f0187b
Rust: More test cases.
2025-03-06 17:48:37 +00:00
Geoffrey White
9a35febe80
Rust: Query framework and basic tests.
2025-03-06 13:24:05 +00:00
Simon Friis Vindum
d8d882958d
Merge branch 'main' into rust-ref-mut
2025-03-03 09:19:08 +01:00
Simon Friis Vindum
c1ee20b2b9
Rust: Update generated models for Rust built-in libraries
2025-02-28 13:40:43 +01:00
Simon Friis Vindum
476fef49da
Rust: Allow SSA and some data flow for mutable borrows
2025-02-26 16:00:52 +01:00
Simon Friis Vindum
cc5179a35e
Merge pull request #18787 from paldepind/rust-core-std-models
...
Rust: Add generated models for standard libraries including core
2025-02-26 09:31:16 +01:00
Asger F
ff36d1916f
Merge pull request #18810 from asgerf/js/test-related-locations
...
Test: Add support for RelatedLocation tag and use in a JS query
2025-02-25 16:40:41 +01:00
Simon Friis Vindum
5c997859b0
Merge branch 'main' into rust-core-std-models
2025-02-25 15:07:29 +01:00
Geoffrey White
f406914258
Merge pull request #18701 from geoffw0/nth
...
Rust: Test and model some string and iterator methods
2025-02-25 10:42:49 +00:00
Geoffrey White
24411b61e9
Fix typo.
2025-02-24 13:59:22 +00:00
Geoffrey White
fdc76dd06a
Merge branch 'main' into nth
2025-02-24 10:57:45 +00:00
Asger F
cd0fd02e74
Rust: Remove 'Source' annotations from same line as Alert
...
Source tags should no longer be used when on the same line as the Alert.
The ones in this file went unnoticed however because *all* of them were on the same line as an Alert, which made the test library ignore all Source tags.
2025-02-21 14:44:48 +01:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
Geoffrey White
79525fa4ed
Rust: Variant -> Field.
2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37
Merge branch 'main' into nth
2025-02-17 17:17:59 +00:00
Simon Friis Vindum
0c3e8a0f5b
Rust: Adapt tests and existing models to account for generated models
2025-02-17 11:08:42 +01:00
Simon Friis Vindum
8b3c1ab698
Merge branch 'main' into rust-ref-pattern
2025-02-17 10:36:39 +01:00
Geoffrey White
6c314739f6
Rust: Accept changes to the summary stats query .expected.
2025-02-13 15:33:21 +00:00
Geoffrey White
c07a57bf6b
Rust: Accept spurious test results (we need a barrier for numeric types of this query at some point; it's good that flow reaches it now).
2025-02-13 15:31:10 +00:00
Tom Hvitved
e9c25037d4
Rust: Use Field MaD token instead of Variant, Struct, Tuple
2025-02-13 13:32:08 +01:00
Simon Friis Vindum
ef9676f838
Rust: Accept changes
2025-02-12 13:39:33 +01:00
Simon Friis Vindum
a09b37edc3
Rust: Expand on toString of IdentPat
2025-02-11 15:25:54 +01:00
Geoffrey White
9a6ef3dae7
Rust: Accept more test changes.
2025-02-04 15:14:05 +00:00
Asger F
fc1d36f867
Rust: update a Rust test case
2025-02-03 11:31:04 +01:00
Tom Hvitved
0aee2e6fb2
Rust: Implement path resolution in QL
2025-01-31 10:07:08 +01: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
Geoffrey White
f2564c351f
Rust: Changes to other tests - mostly MaD IDs :(.
2025-01-28 09:22:30 +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
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
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
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
