Simon Friis Vindum
|
cad4f39aee
|
Rust: Database name capitalization
|
2024-12-16 13:15:42 +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
|
31717524f0
|
Merge pull request #18270 from paldepind/rust-captured-variables
Rust: Flow through captured variables
|
2024-12-16 10:08:53 +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 |
|
Geoffrey White
|
03f962ed86
|
Merge pull request #18226 from geoffw0/badcrypto
Rust: Weak encryption algorithm query.
|
2024-12-12 14:21:16 +00:00 |
|
Michael Nebel
|
864c34fc03
|
Rust: Update all test util paths to point to the new location.
|
2024-12-12 15:02:59 +01:00 |
|
Michael Nebel
|
cbae2cf7fa
|
Rust: Move test utilities into the query pack.
|
2024-12-12 13:54:42 +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 |
|
Geoffrey White
|
97ab31ab00
|
Merge pull request #18229 from geoffw0/self
Rust: Fix unwanted 'self' results from rust/unused-variable
|
2024-12-09 08:50:03 +00:00 |
|
Simon Friis Vindum
|
70501008b0
|
Merge pull request #18232 from paldepind/rust-self-capture
Rust: Fix a bug where captured `self` parameters where not considered captured
|
2024-12-06 20:23:38 +01:00 |
|
Simon Friis Vindum
|
9b34615a64
|
Rust: Update test assertions to match results
|
2024-12-06 19:05:53 +01:00 |
|
Geoffrey White
|
d7d4658aae
|
Rust: Add % of files extractor without errors to summary stats.
|
2024-12-06 14:54:21 +00:00 |
|
Geoffrey White
|
4b93325914
|
Merge branch 'main' into badcrypto
|
2024-12-06 14:21:11 +00: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 |
|
Geoffrey White
|
281f8b1828
|
Rust: Fix the unwanted results.
|
2024-12-06 12:29:07 +00:00 |
|
Geoffrey White
|
e52e1b0c1f
|
Rust: Add test case for 'self' in unused entities.
|
2024-12-06 12:24:11 +00:00 |
|
Paolo Tranquilli
|
b59b90ba6d
|
Rust: accept test changes
|
2024-12-06 09:12:16 +01:00 |
|
Geoffrey White
|
de042ea9d7
|
Merge branch 'main' into badcrypto
|
2024-12-05 18:36:47 +00:00 |
|
Geoffrey White
|
6eb850c8cb
|
Rust: Improve the model.
|
2024-12-05 16:49:27 +00:00 |
|
Geoffrey White
|
94dbad7c95
|
Rust: Model for cipher traits.
|
2024-12-05 16:49:19 +00:00 |
|
Geoffrey White
|
6c4e0a99e2
|
Rust: A few more test cases.
|
2024-12-05 15:17:22 +00:00 |
|
Tom Hvitved
|
1c56692c02
|
Rust: update inline expectations
|
2024-12-05 14:43:39 +01:00 |
|
Geoffrey White
|
bdb2f3d091
|
Rust: Add placeholder query and tests for 'cipher' module.
|
2024-12-05 13:38:57 +00:00 |
|
Simon Friis Vindum
|
1f4e7d1f37
|
Rust: Handle arrays in taint tracking
|
2024-12-05 11:41:32 +01:00 |
|
Simon Friis Vindum
|
44239cbf2e
|
Rust: Add taint tests for arrays
|
2024-12-05 11:39:05 +01:00 |
|
Simon Friis Vindum
|
27de43fed8
|
Merge branch 'main' into rust-df-array
|
2024-12-05 11:08:54 +01:00 |
|
Simon Friis Vindum
|
5b6ce3e0d0
|
Merge branch 'main' into rust-taint
|
2024-12-05 09:34:25 +01:00 |
|
Simon Friis Vindum
|
d6ab7d2aff
|
Merge branch 'main' into rust-taint
|
2024-12-04 15:28:30 +01:00 |
|
Paolo Tranquilli
|
08de0b40ed
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 14:35:10 +01:00 |
|
Paolo Tranquilli
|
80d466ffea
|
Merge pull request #18116 from github/redsun82/rust-perf-measures
Rust: add some performance diagnostics
|
2024-12-04 14:31:06 +01:00 |
|
Simon Friis Vindum
|
3004639fca
|
Rust: Add default taint flow steps
|
2024-12-04 14:11:05 +01:00 |
|
Simon Friis Vindum
|
a19f1d0b8b
|
Rust: Remove store step for repeat operand in array expression
|
2024-12-04 14:01:53 +01:00 |
|
Simon Friis Vindum
|
c62b7d139f
|
Merge branch 'main' into rust-df-array
|
2024-12-04 13:55:26 +01:00 |
|
Simon Friis Vindum
|
70a296be89
|
Rust: Add string slice taint flow test
|
2024-12-04 13:24:15 +01:00 |
|
Simon Friis Vindum
|
2ada999728
|
Rust: Include as expression in CFG nodes
|
2024-12-04 12:56:54 +01:00 |
|
Simon Friis Vindum
|
f10ffa39e4
|
Rust: Add tests for taint flow
|
2024-12-04 12:54:36 +01:00 |
|
Simon Friis Vindum
|
b7792d690c
|
Merge pull request #18163 from paldepind/rust-df-try-expr
Rust: Add flow through `?` operator
|
2024-12-04 12:45:32 +01:00 |
|
Geoffrey White
|
b54d8dc6bd
|
Merge pull request #18176 from geoffw0/ctor2
Rust: Improve rust/ctor-initialization
|
2024-12-04 11:07:51 +00:00 |
|
Jeroen Ketema
|
10592bb1c4
|
Merge pull request #18192 from jketema/inline-rm
Remove deprecated `InlineExpectationsTest` class-based API
|
2024-12-04 11:34:39 +01:00 |
|
Simon Friis Vindum
|
ed6f873478
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 11:33:41 +01:00 |
|
Paolo Tranquilli
|
7e107a4520
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 11:24:48 +01:00 |
|