Simon Friis Vindum
|
cac4514eae
|
Rust: Add basic data flow through arrays
|
2024-12-03 14:15:54 +01:00 |
|
Simon Friis Vindum
|
3346b64e96
|
Rust: Add variables and data flow array tests
|
2024-12-03 14:14:41 +01:00 |
|
Paolo Tranquilli
|
ebe38bca23
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-03 12:19:08 +01:00 |
|
Paolo Tranquilli
|
952f41e17e
|
Rust: fix broken test
|
2024-12-03 12:06:39 +01:00 |
|
Paolo Tranquilli
|
db18d1046b
|
Rust: rename getTy -> getTypeRepr
|
2024-12-03 11:17:08 +01:00 |
|
Paolo Tranquilli
|
8287cdd7b3
|
Rust: accept test changes
|
2024-12-03 11:01:05 +01:00 |
|
Paolo Tranquilli
|
b99e234cdc
|
Merge branch 'main' into redsun82/rust-tweaks
|
2024-12-03 10:47:03 +01:00 |
|
Tom Hvitved
|
3c767b086b
|
Rust: Use canonical paths for variants in data flow
|
2024-12-03 10:19:33 +01:00 |
|
Simon Friis Vindum
|
e377a0e05a
|
Merge branch 'main' into rust-df-closure
|
2024-12-03 10:09:52 +01:00 |
|
Tom Hvitved
|
3e5f4b7f89
|
Rust: Add a model for unwrap
|
2024-12-03 09:12:01 +01:00 |
|
Tom Hvitved
|
395901b8e0
|
Rust: Adopt shared flow summaries library
|
2024-12-03 09:11:06 +01:00 |
|
Simon Friis Vindum
|
8e2beb7410
|
Merge pull request #18131 from paldepind/rust-field-flow
Rust: Data flow through tuple and struct fields
|
2024-12-02 20:44:37 +01:00 |
|
Paolo Tranquilli
|
e89cf303e7
|
Rust: rename TypeRef -> TypeRepr
|
2024-12-02 17:58:40 +01:00 |
|
Paolo Tranquilli
|
4bd5cc458b
|
Rust: accept test changes
|
2024-12-02 16:07:00 +01:00 |
|
Paolo Tranquilli
|
c0e55a06e7
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-12-02 15:20:42 +01:00 |
|
Paolo Tranquilli
|
0a93a31565
|
Rust: accept all test changes after merge
|
2024-12-02 14:48:40 +01:00 |
|
Simon Friis Vindum
|
e1c65aae90
|
Rust: Tuple writes target post update node
|
2024-12-02 14:48:20 +01:00 |
|
Paolo Tranquilli
|
43eba85589
|
Merge branch 'main' into redsun82/rust-tweaks
|
2024-12-02 14:48:03 +01:00 |
|
Geoffrey White
|
1e656a49b0
|
Rust: Rewrite the query to (1) include functions and (2) minimize output.
|
2024-12-02 13:37:44 +00:00 |
|
Simon Friis Vindum
|
3420f1f43f
|
Address review comments, store step for tuple indexing
|
2024-12-02 13:27:26 +01:00 |
|
Paolo Tranquilli
|
2a7ce9a0ab
|
Rust: accept all test changes
|
2024-12-02 12:06:51 +01:00 |
|
Geoffrey White
|
3e0e374783
|
Rust: Remove unnecessary edges.
|
2024-12-02 09:54:18 +00:00 |
|
Simon Friis Vindum
|
10be890cab
|
Merge pull request #18144 from paldepind/rust-df-inconsistency-no-location
Rust: Exclude data flow inconsistencies that stem from other inconsis…
|
2024-12-02 10:48:51 +01:00 |
|
Geoffrey White
|
4d0c53d493
|
Rust: Add support for transitive results via calls in the ctor query.
|
2024-12-02 09:46:40 +00:00 |
|
Geoffrey White
|
14c0bbf531
|
Rust: Add another test case, fix an annotation.
|
2024-12-02 09:34:47 +00:00 |
|
Paolo Tranquilli
|
e7ffddd52c
|
Rust: rename all *Type to *TypeRef
|
2024-12-02 10:13:05 +01:00 |
|
Paolo Tranquilli
|
31775e21b7
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-02 08:27:05 +01:00 |
|
Paolo Tranquilli
|
bb83641634
|
Rust: accept all test changes for now
|
2024-12-02 08:22:51 +01:00 |
|
Geoffrey White
|
fbf7e0584f
|
Merge pull request #18129 from geoffw0/sinkmodels
Rust: Sink models for rust/sql-injection
|
2024-11-29 19:11:27 +00:00 |
|
Paolo Tranquilli
|
c46f44da5f
|
Rust: fix QL compilation errors
|
2024-11-29 15:55:51 +01:00 |
|
Paolo Tranquilli
|
9cf2420c3b
|
Rust: restrict canonical path calculations
|
2024-11-29 14:43:51 +01:00 |
|
Paolo Tranquilli
|
4bcc4254c6
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-11-29 11:59:22 +01:00 |
|
Geoffrey White
|
0f3469313f
|
Merge branch 'main' into ctor
|
2024-11-29 09:37:23 +00:00 |
|
Simon Friis Vindum
|
b8d60cbb13
|
Rust: Implement predicates for lambdas/closures in the data flow library
|
2024-11-29 09:32:04 +01:00 |
|
Simon Friis Vindum
|
ad7480591b
|
Rust: Add data flow tests involving closures
|
2024-11-29 09:30:26 +01:00 |
|
Geoffrey White
|
2810d64b22
|
Rust: Fix ql-for-ql warning.
|
2024-11-28 12:43:24 +00:00 |
|
Simon Friis Vindum
|
b05d290bf0
|
Rust: Exclude data flow inconsistencies that stem from other inconsistencies
|
2024-11-28 12:46:32 +01:00 |
|
Paolo Tranquilli
|
50c917d2eb
|
Rust: restrict extracted files queries
|
2024-11-28 12:02:57 +01:00 |
|
Paolo Tranquilli
|
a8188598b0
|
Merge branch 'main' into redsun82/rust-canonical-enum
|
2024-11-27 15:01:47 +01:00 |
|
Simon Friis Vindum
|
d89678f49f
|
Rust: Data flow through tuple and struct fields
|
2024-11-27 14:53:01 +01:00 |
|
Geoffrey White
|
c113a0b5a1
|
Rust: Fix typo.
|
2024-11-27 10:51:42 +00:00 |
|
Geoffrey White
|
ba560f2fe9
|
Rust: Model SQLx.
|
2024-11-27 10:31:05 +00:00 |
|
Geoffrey White
|
e96f15d9b4
|
Rust: Add a test exposing SQL Injection sinks directly.
|
2024-11-27 10:31:04 +00:00 |
|
Simon Friis Vindum
|
9ec9d79b4f
|
Rust: Add additional tests for flow through structs
|
2024-11-27 10:10:49 +01:00 |
|
Simon Friis Vindum
|
46abb9083b
|
Merge pull request #18115 from paldepind/rust-rename-expr
Rust: Rename `expr` on `CallExpr` and `LetExpr`
|
2024-11-27 09:41:04 +01:00 |
|
Simon Friis Vindum
|
8f886c6603
|
Merge pull request #18088 from paldepind/rust-self-parameters
Rust: Handle `self` parameters in variables and SSA library
|
2024-11-27 08:42:58 +01:00 |
|
Simon Friis Vindum
|
92427ab0c1
|
Merge branch 'main' into rust-rename-expr
|
2024-11-26 17:40:47 +01:00 |
|
Simon Friis Vindum
|
d30f3e2822
|
Rust: Renamed expr on CallExpr and LetExpr
|
2024-11-26 15:22:14 +01:00 |
|
Tom Hvitved
|
0c6b4cdb8f
|
Merge pull request #18078 from hvitved/rust/variant-flow
Rust: Data flow through variants
|
2024-11-26 14:45:00 +01:00 |
|
Simon Friis Vindum
|
44b1ad52d9
|
Rust: Support self parameters in variable and SSA library
|
2024-11-26 09:02:13 +01:00 |
|