Simon Friis Vindum
|
aa97bf932a
|
Rust: Add type inference tests
|
2025-03-19 13:26:06 +01:00 |
|
Simon Friis Vindum
|
b2b650ddd3
|
Rust: Rename classes with Record to Struct
|
2025-03-19 12:05:39 +01:00 |
|
Tom Hvitved
|
0bf2bfa2f1
|
Rust: Take depdency renaming into account when extracting the crate graph
|
2025-03-19 08:39:22 +01:00 |
|
Arthur Baars
|
f08d1d10f1
|
Rust: tainted path implement basic sanitizers
|
2025-03-18 19:16:13 +01:00 |
|
Arthur Baars
|
0fd69eaa43
|
Add QL test
|
2025-03-18 19:13:30 +01:00 |
|
Arthur Baars
|
4b5883ab79
|
Add a bit of modelling
|
2025-03-18 19:10:05 +01:00 |
|
Arthur Baars
|
f53de135e6
|
Merge pull request #19024 from github/aibaars/mut-borrow
Rust: SSA: restrict mutablyBorrowed to variables with a 'mut' modifier
|
2025-03-18 16:57:32 +01:00 |
|
Simon Friis Vindum
|
7a18da82fa
|
Merge pull request #19000 from paldepind/rust-cleartext-transmission
Rust: Add cleartext transmission query
|
2025-03-17 14:56:57 +01:00 |
|
Simon Friis Vindum
|
81b28df089
|
Merge branch 'main' into rust-type-inference-tweaks
|
2025-03-17 13:18:45 +01:00 |
|
Geoffrey White
|
81edb4780d
|
Merge branch 'main' into constcrypto
|
2025-03-17 12:05:51 +00:00 |
|
Simon Friis Vindum
|
e9ca43ae94
|
Merge pull request #19039 from paldepind/rust-cfg-uppercase
Rust: Assume in the CFG that lowercase identifiers are in fact identifiers
|
2025-03-17 12:40:56 +01:00 |
|
Geoffrey White
|
704b3850f4
|
Rust: Fix a mistake in the test.
|
2025-03-17 11:24:58 +00:00 |
|
Tom Hvitved
|
0e3907b2a8
|
Merge pull request #19035 from hvitved/rust/type-inference-path-limit
Rust: Limit `TypePath`s to at most length 10
|
2025-03-17 12:01:31 +01:00 |
|
Simon Friis Vindum
|
17d6cb626d
|
Rust: Assume in the CFG that lowercase identifiers are in fact identifiers
|
2025-03-17 08:40:02 +01:00 |
|
Simon Friis Vindum
|
1b7f4e4d4b
|
Rust: Add type inference tests and rename modules
|
2025-03-17 07:41:47 +01:00 |
|
Simon Friis Vindum
|
72346cc392
|
Merge pull request #19004 from paldepind/rust-data-flow-split
Rust: Extract data flow node and content into separate files
|
2025-03-17 07:02:35 +01:00 |
|
Tom Hvitved
|
dfc39272b4
|
Rust: Limit TypePaths to at most length 10
|
2025-03-16 20:35:16 +01:00 |
|
Tom Hvitved
|
a56493cbbc
|
Merge pull request #19028 from hvitved/rust/crate-locatable
|
2025-03-14 20:27:33 +01:00 |
|
Tom Hvitved
|
0dd59cbb25
|
Rust: Make Crate a sub class of Locatable
|
2025-03-14 13:18:02 +01:00 |
|
Simon Friis Vindum
|
c17c0458dd
|
Rust: Handle type equality for a few more expression types
|
2025-03-14 11:59:34 +01:00 |
|
Arthur Baars
|
1e94245332
|
Rust: update expected output
|
2025-03-14 11:25:41 +01:00 |
|
Simon Friis Vindum
|
82304832e8
|
Rust: Add type inference examples
|
2025-03-14 11:13:16 +01:00 |
|
Simon Friis Vindum
|
4dbfda59cf
|
Merge branch 'main' into rust-data-flow-split
|
2025-03-14 09:58:46 +01:00 |
|
Simon Friis Vindum
|
fb718660d9
|
Rust: Generate more sinks and update query description
|
2025-03-13 17:35:32 +01:00 |
|
Tom Hvitved
|
255f06b65a
|
Rust: Update expected test output
|
2025-03-13 15:51:33 +01:00 |
|
Tom Hvitved
|
3bb89ea863
|
Rust: Move type inference/path resolution out of elements folder
|
2025-03-13 15:05:00 +01:00 |
|
Tom Hvitved
|
af91152f5c
|
Address review comments
|
2025-03-13 15:04:59 +01:00 |
|
Simon Friis Vindum
|
1ae28c7907
|
Merge branch 'main' into rust-cleartext-transmission
|
2025-03-13 15:01:11 +01:00 |
|
Tom Hvitved
|
78280af570
|
Rust: Use 'infer' instead of 'resolve' in type inference library
|
2025-03-13 13:34:43 +01:00 |
|
Tom Hvitved
|
2394f2fab8
|
Rust: Fix bug in path resolution library
|
2025-03-13 13:23:18 +01:00 |
|
Tom Hvitved
|
795ba25895
|
Rust: Add more consistency checks
|
2025-03-13 13:23:16 +01:00 |
|
Tom Hvitved
|
fcdffc4e73
|
Rust: Use type inference in path resolution test
|
2025-03-13 13:23:14 +01:00 |
|
Tom Hvitved
|
e8505ad33d
|
Rust: Use type inference to resolve method calls and field accesses
|
2025-03-13 13:23:13 +01:00 |
|
Tom Hvitved
|
62d4e6fe3f
|
Rust: Implement basic type inference in QL
|
2025-03-13 13:23:11 +01:00 |
|
Simon Friis Vindum
|
3c644144b1
|
Rust: Extract data flow node and content into separate files
|
2025-03-13 11:22:04 +01:00 |
|
Arthur Baars
|
fa79dbc89a
|
Merge pull request #18228 from github/aibaars/crate-graph
Rust: extract crate graph
|
2025-03-13 10:00:48 +01:00 |
|
Simon Friis Vindum
|
4de69c70a8
|
Rust: Add cleartext transmission query
|
2025-03-13 08:45:36 +01:00 |
|
Simon Friis Vindum
|
b3601b1ac2
|
Merge pull request #18946 from paldepind/rust-regex-injection
Rust: Add regular expression injection query
|
2025-03-12 08:15:54 +01:00 |
|
Geoffrey White
|
daa57a9cb5
|
Merge pull request #18952 from geoffw0/unusedvarfix
Rust: Improve rust/unused-variable and rust/unused-value
|
2025-03-11 15:52:42 +00:00 |
|
Geoffrey White
|
a0f4fa28b2
|
Rust: hardcoded -> hard-coded.
|
2025-03-11 09:40:47 +00:00 |
|
Geoffrey White
|
e3beacbda2
|
Rust: Print models (temporary, to see how this differs on CI).
|
2025-03-10 19:38:36 +00:00 |
|
Geoffrey White
|
7717f92ec6
|
Rust: Clean up the test (it turns out a nested UnusedVariable.qlref is not needed) and accept consistency check changes.
|
2025-03-10 17:59:19 +00:00 |
|
Simon Friis Vindum
|
5c83644360
|
Rust: Use CWE 20 for regex injection query
|
2025-03-10 14:52:25 +01:00 |
|
Paolo Tranquilli
|
79e06153ed
|
Merge pull request #18813 from github/redsun82/rust-turn-off-ra-resolution
Rust: add flag to turn off extractor path resolution
|
2025-03-10 14:52:07 +01:00 |
|
Simon Friis Vindum
|
0e965f7616
|
Rust: Accept changes
|
2025-03-10 14:39:37 +01:00 |
|
Simon Friis Vindum
|
344fea2128
|
Rust: Enable local threat models in tests and use active threat models for regex query
|
2025-03-10 13:23:20 +01:00 |
|
Geoffrey White
|
9e54d53537
|
Rust: Add barrier.
|
2025-03-10 11:41:48 +00:00 |
|
Geoffrey White
|
a34f9bef2b
|
Rust: Add a test case for getrandom.
|
2025-03-10 11:33:29 +00:00 |
|
Geoffrey White
|
bb39955a24
|
Rust: Move the undefined_macros test cases to their own subdirectory.
|
2025-03-10 11:09:33 +00:00 |
|
Geoffrey White
|
aa35e82fc1
|
Rust: Add a test exposing the function scope limitation.
|
2025-03-10 10:39:25 +00:00 |
|