Geoffrey White
|
90faab456d
|
Merge pull request #18473 from geoffw0/sensitive2
Improve shared sensitive data library handling of snake_case variable names
|
2025-01-15 18:02:33 +00:00 |
|
Tom Hvitved
|
3ceec93499
|
Merge pull request #18462 from hvitved/rust/variable-without-location
Rust: Avoid location-based variable analysis
|
2025-01-15 09:20:10 +01:00 |
|
Tom Hvitved
|
33e6d6392c
|
Rust: Avoid location-based variable analysis
|
2025-01-13 11:08:00 +01:00 |
|
Tom Hvitved
|
d03b284a0a
|
Rust: Add more variable tests
|
2025-01-13 10:46:54 +01:00 |
|
Tom Hvitved
|
7376449d38
|
Rust: Rename variables.rs to main.rs
|
2025-01-13 10:46:53 +01:00 |
|
Geoffrey White
|
1b6c289cb4
|
Rust: Unrelated MaD test impact. :(
|
2025-01-10 14:38:05 +00:00 |
|
Tom Hvitved
|
303b11ec36
|
Merge pull request #18298 from hvitved/rust/mad-source-sink
Rust: Add support for MaD sources and sinks with access paths
|
2025-01-10 11:49:51 +01:00 |
|
Geoffrey White
|
9a8a852277
|
Rust: Support snake case more widely in SensitiveDataHeuristics.qll.
|
2025-01-10 10:23:55 +00:00 |
|
Geoffrey White
|
88e351ad4f
|
Rust: Expand sensitive data test cases.
|
2025-01-10 10:00:13 +00:00 |
|
Tom Hvitved
|
a7bb95249b
|
Rust: Implement known{Source,Sink}Model
|
2025-01-09 11:47:57 +01:00 |
|
Geoffrey White
|
3363235b1c
|
Merge pull request #18414 from geoffw0/sensitive
Rust: Sensitive data library
|
2025-01-08 17:38:18 +00:00 |
|
Geoffrey White
|
821eb4f3e6
|
Rust: Add sensitive data library.
|
2025-01-06 13:26:26 +00:00 |
|
Geoffrey White
|
c77bf2b4eb
|
Rust: Add a test for sensitive data.
|
2025-01-06 13:26:25 +00:00 |
|
Tom Hvitved
|
8f6ae6274d
|
Rust: Add support for MaD sources and sinks with access paths
|
2025-01-06 13:26:49 +01:00 |
|
Simon Friis Vindum
|
c55b256d47
|
Rust: Remove accidentally commited expected files
|
2025-01-06 12:01:03 +01:00 |
|
Simon Friis Vindum
|
5c64a8c948
|
Rust: Accept expected changes and fix other CI complaints
|
2025-01-03 16:38:11 +01:00 |
|
Simon Friis Vindum
|
0d19fb6040
|
Rust: Add taint from children of format_args to format_args
|
2025-01-03 14:06:47 +01:00 |
|
Simon Friis Vindum
|
42d125676e
|
Rust: Value flow through macro calls
|
2025-01-03 13:47:29 +01:00 |
|
Simon Friis Vindum
|
f09632df58
|
Rust: Add data flow tests for macros and format_args
|
2025-01-03 13:28:19 +01:00 |
|
Simon Friis Vindum
|
a28ddd642c
|
Rust: Add variables example with let statement in macro
|
2024-12-19 13:12:45 +01:00 |
|
Simon Friis Vindum
|
508c7e6e85
|
Merge pull request #18314 from paldepind/rust-tuple-ref-patterns
Rust: Add read steps for tuple and reference patterns
|
2024-12-18 14:13:08 +01:00 |
|
Tom Hvitved
|
00688ebd79
|
Merge pull request #18312 from hvitved/rust/operator-overloading-test
Rust: Add data flow tests for operator overloading
|
2024-12-18 13:58:39 +01:00 |
|
Simon Friis Vindum
|
09fd27af80
|
Rust: Add read steps for tuple and reference patterns
|
2024-12-18 13:22:05 +01:00 |
|
Simon Friis Vindum
|
b5b8af3aa2
|
Rust: Add data flow tests for borrows
|
2024-12-18 13:00:38 +01:00 |
|
Tom Hvitved
|
3a63dbcd5d
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2024-12-18 12:46:11 +01:00 |
|
Simon Friis Vindum
|
049fab4c72
|
Rust: Remove taint steps
|
2024-12-18 11:22:56 +01:00 |
|
Tom Hvitved
|
025a67384f
|
Rust: Add data flow tests for operator overloading
|
2024-12-18 09:26:17 +01:00 |
|
Simon Friis Vindum
|
c1e21974c6
|
Rust: Address review comments
|
2024-12-17 17:24:42 +01:00 |
|
Simon Friis Vindum
|
d8c301a96b
|
Merge branch 'main' into rust-data-flow-models
|
2024-12-17 16:09:59 +01:00 |
|
Simon Friis Vindum
|
ee87d4c948
|
Merge branch 'main' into rust-data-flow-models
|
2024-12-17 13:12:32 +01:00 |
|
Tom Hvitved
|
ddd05b5d1b
|
Rust: Never skip match scrutinee/patterns in data flow
|
2024-12-16 15:12:16 +01:00 |
|
Tom Hvitved
|
9f2b436d35
|
Rust: Never skip assignment LHS in data flow
|
2024-12-16 15:12:15 +01:00 |
|
Tom Hvitved
|
5ed03e266a
|
Rust: Fix semantic merge conflicts
|
2024-12-16 14:47:13 +01:00 |
|
Michael Nebel
|
aaf0cd5dee
|
Merge pull request #17968 from michaelnebel/java/movetestutils
Move test utilities to the query pack.
|
2024-12-16 13:41:30 +01:00 |
|
Simon Friis Vindum
|
defbbb2a24
|
Rust: Add additional models for stdlib and sqlx
|
2024-12-16 11:46:57 +01:00 |
|
Simon Friis Vindum
|
aab3428bc7
|
Rust: Model address-of and dereference as stores and loads
|
2024-12-16 11:31:15 +01:00 |
|
Simon Friis Vindum
|
df0375103c
|
Rust: Add data flow tests
|
2024-12-16 11:09:22 +01:00 |
|
Simon Friis Vindum
|
9da5d7128b
|
Rust: Add test with data flow inconsistency
|
2024-12-16 09:40:13 +01:00 |
|
Simon Friis Vindum
|
1d8e7fd9ea
|
Rust: Accept differences
|
2024-12-12 16:47:51 +01:00 |
|
Simon Friis Vindum
|
0fa40fcdcc
|
Rust: Fix captured variable data flow inconsistency
|
2024-12-12 16:28:19 +01:00 |
|
Michael Nebel
|
864c34fc03
|
Rust: Update all test util paths to point to the new location.
|
2024-12-12 15:02:59 +01:00 |
|
Simon Friis Vindum
|
16dcc5c278
|
Rust: Add variable capture consistency query
|
2024-12-12 11:23:22 +01:00 |
|
Simon Friis Vindum
|
94b037fad1
|
Rust: Instantiate variable capture library for data flow
|
2024-12-11 15:44:17 +01:00 |
|
Simon Friis Vindum
|
e8357a648d
|
Rust: Add additional data flow tests
|
2024-12-11 14:56:16 +01:00 |
|
Tom Hvitved
|
baf186fed7
|
Address review comments
|
2024-12-11 10:28:32 +01:00 |
|
Tom Hvitved
|
2f8b04b225
|
Rust: Models-as-data for flow summaries
|
2024-12-09 13:41:55 +01:00 |
|
Simon Friis Vindum
|
9b34615a64
|
Rust: Update test assertions to match results
|
2024-12-06 19:05:53 +01:00 |
|
Simon Friis Vindum
|
ed68423d6e
|
Rust: Handle captured self parameter in variable implementation
|
2024-12-06 14:12:27 +01:00 |
|
Simon Friis Vindum
|
43dd3ebf14
|
Rust: Add variables test with captured self parameter
|
2024-12-06 14:07:42 +01:00 |
|
Paolo Tranquilli
|
b59b90ba6d
|
Rust: accept test changes
|
2024-12-06 09:12:16 +01:00 |
|