Simon Friis Vindum
|
b2b650ddd3
|
Rust: Rename classes with Record to Struct
|
2025-03-19 12:05:39 +01:00 |
|
Arthur Baars
|
f08d1d10f1
|
Rust: tainted path implement basic sanitizers
|
2025-03-18 19:16:13 +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 |
|
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 |
|
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 |
|
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 |
|
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
|
0e965f7616
|
Rust: Accept changes
|
2025-03-10 14:39:37 +01:00 |
|
Arthur Baars
|
9bba666929
|
Rust: QL Test: exclude crate graph related elements
|
2025-03-10 10:16:19 +01:00 |
|
Simon Friis Vindum
|
494f914070
|
Rust: Add regular expression injection query
|
2025-03-07 12:37:30 +01:00 |
|
Anders Schack-Mulligen
|
709d36b502
|
Merge pull request #18869 from aschackmull/ssa/refactor3
Ssa: Update qltests including consistency checks
|
2025-03-05 11:40:27 +01:00 |
|
Anders Schack-Mulligen
|
8474a47c2b
|
Rust: Switch test to use dedicated test module.
|
2025-03-04 12:24:23 +01:00 |
|
Paolo Tranquilli
|
2a29239b01
|
Merge branch 'main' into redsun82/cargo-upgrade
|
2025-03-04 10:05:41 +01:00 |
|
Paolo Tranquilli
|
9740232df8
|
Merge branch 'main' into redsun82/cargo-upgrade
|
2025-03-03 10:15:17 +01:00 |
|
Simon Friis Vindum
|
1225c5c828
|
Rust: Accept changes
|
2025-03-03 09:44:24 +01: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
|
c4773c42c4
|
Rust: Model pointer read and write functions
|
2025-02-28 11:44:11 +01:00 |
|
Simon Friis Vindum
|
bc651af319
|
Merge branch 'main' into rust-ref-mut
|
2025-02-28 11:42:06 +01:00 |
|
Paolo Tranquilli
|
e0d4e5ea7f
|
Rust: remove missing flow in test
|
2025-02-28 11:36:27 +01:00 |
|
Simon Friis Vindum
|
5b657035d2
|
Rust: Add test for models of pointer read and write
|
2025-02-28 11:19:41 +01:00 |
|
Simon Friis Vindum
|
518f164c61
|
Rust: Address PR comments
|
2025-02-28 10:49:27 +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
|
51ae7c6b8c
|
Rust: Reorganize pointers tests and add additional tests
|
2025-02-26 13:51:55 +01:00 |
|
Geoffrey White
|
0ef4c6f954
|
Merge branch 'main' into okerr
|
2025-02-26 12:33:39 +00: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 |
|
Simon Friis Vindum
|
26a96d9f65
|
Rust: Accept changes
|
2025-02-25 15:56:10 +01:00 |
|
Tom Hvitved
|
0522f3f694
|
Merge pull request #18856 from hvitved/rust/inline-expectations-update
Rust: Update some inline expectation comments
|
2025-02-25 15:28:28 +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 |
|