Arthur Baars
4b5883ab79
Add a bit of modelling
2025-03-18 19:10:05 +01:00
Arthur Baars
8223dded99
Rust: TaintedPath query
2025-03-18 19:10:03 +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
github-actions[bot]
51cdeefafb
Post-release preparation for codeql-cli-2.20.7
2025-03-17 13:00:41 +00:00
Simon Friis Vindum
81b28df089
Merge branch 'main' into rust-type-inference-tweaks
2025-03-17 13:18:45 +01:00
github-actions[bot]
2d64a618e6
Release preparation for version 2.20.7
2025-03-17 12:15:54 +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
Paolo Tranquilli
a2851f753c
Merge pull request #18968 from hvitved/rust/cache-to-string
...
Rust/Swift: Cache `Element.toString`
2025-03-17 12:08:27 +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
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
Simon Friis Vindum
4c3768f771
Rust: Add comments for type inference
2025-03-15 13:51:15 +01:00
Simon Friis Vindum
422d9e1f93
Rust: Minor refactoring of type inference
2025-03-15 13:47:08 +01:00
Tom Hvitved
a56493cbbc
Merge pull request #19028 from hvitved/rust/crate-locatable
2025-03-14 20:27:33 +01:00
Simon Friis Vindum
5a3bf90b1f
Rust: Add qldoc comments
2025-03-14 13:31:03 +01:00
Simon Friis Vindum
a96a5fc737
Rust: Address PR comments
2025-03-14 13:24:16 +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
Tom Hvitved
d1ad65ae09
Rust: Cache Element.toString
2025-03-14 11:58:38 +01:00
Arthur Baars
56574a15b7
Rust: SSA: restrict mutablyBorrowed to variables with a 'mut' modifier
2025-03-14 11:25:35 +01:00
Simon Friis Vindum
4dbfda59cf
Merge branch 'main' into rust-data-flow-split
2025-03-14 09:58:46 +01:00
Tom Hvitved
c3739d4f23
Address review comments
2025-03-13 21:10:48 +01:00
Simon Friis Vindum
fb718660d9
Rust: Generate more sinks and update query description
2025-03-13 17:35:32 +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
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
Tom Hvitved
1636abb81b
Merge pull request #18985 from hvitved/rust/immediate-child
...
Rust/Swift: Add `get(Immediate)Child` predicate
2025-03-13 12:50:53 +01:00
Geoffrey White
1aa223652f
Merge pull request #18977 from geoffw0/sourcesinkdoc
...
Rust: Source and sink doc / tidy up
2025-03-13 10:53:44 +00:00
Simon Friis Vindum
3c644144b1
Rust: Extract data flow node and content into separate files
2025-03-13 11:22:04 +01:00
Tom Hvitved
8777bc42c7
Rust: Add get(Immediate)Child predicate
2025-03-13 11:13:01 +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
Geoffrey White
0df652b297
Rust: Autoformat.
2025-03-12 16:38:00 +00:00
Geoffrey White
64b57679bf
Rust: ... one more fix.
2025-03-12 16:32:53 +00:00
Geoffrey White
ee6455a7b1
Rust: ... and extend QuerySink to complete the above.
2025-03-12 16:23:41 +00:00
Geoffrey White
f8112945a8
Merge branch 'main' into sourcesinkdoc
2025-03-12 16:04:56 +00:00
Geoffrey White
df4f117a7c
Rust: QLDoc formatting.
2025-03-12 15:59:44 +00:00
Geoffrey White
044d0a13f0
Rust: Include WeakSensitiveDataHashing sinks as well.
2025-03-11 15:41:38 +00:00
Geoffrey White
4924a0faf3
Rust: Introduce a QuerySink class, common to all query sinks.
2025-03-11 15:41:37 +00:00
Geoffrey White
dc7d7f121e
Rust: Clarify doc on FlowSink, FlowSource.
2025-03-11 15:41:35 +00:00
Arthur Baars
3991dc3aa3
Rust: improve performance of Crate::toString
2025-03-11 12:57:16 +01:00
Arthur Baars
66ab3a8002
Rust: add Locatable::fromSource
2025-03-11 12:32:56 +01:00
Arthur Baars
845f002124
Rust: add file for root modules of crates
2025-03-10 10:16:26 +01:00
Arthur Baars
8ec8824cb7
Rust: implement Crate::toString
2025-03-10 10:16:20 +01:00
Arthur Baars
98a40967d2
Rust: ignore crate graph elements from summary stats and AST no-location checks
...
These elements depend on the version of the standard libraries and platform, and
in addition no location information is extracted for them at the moment.
f
2025-03-10 10:16:15 +01:00
