Tom Hvitved
496f485375
Rust: Path resolution for bounded type parameters
2025-02-20 13:57:11 +01:00
Tom Hvitved
8f0aced868
Rust: Path resolution for trait items with default implementations
2025-02-20 13:56:19 +01:00
Tom Hvitved
1be903cb4f
Rust: Add more path resolution tests
2025-02-20 12:04:20 +01:00
Simon Friis Vindum
b6144c2f08
Merge branch 'main' into rust-core-std-models
2025-02-20 12:00:47 +01:00
Simon Friis Vindum
4a01a4df37
Rust: Remove nonsensical no-match CFG edges
2025-02-20 10:51:33 +01:00
Tom Hvitved
c22021ab55
Merge pull request #18808 from hvitved/rust/path-resolution-inherited-functions
...
Rust: Path resolution for inherited associated items
2025-02-19 19:35:53 +01:00
Anders Schack-Mulligen
7e596032f1
Rust: Switch use-use predicates to new implementation.
2025-02-19 16:38:37 +01:00
Anders Schack-Mulligen
ed40035b9c
C#/Ruby/Rust: Fix bug in adjacentReadPairSameVar.
2025-02-19 16:20:57 +01:00
Tom Hvitved
54ebe9a8f4
Rust: Path resolution for inherited associated items
2025-02-19 15:23:35 +01:00
Simon Friis Vindum
ae7e15d82f
Merge pull request #18754 from paldepind/rust-ref-pattern
...
Rust ref pattern
2025-02-19 14:24:09 +01:00
Simon Friis Vindum
faef735ce9
Rust: Move equality into disjunction
2025-02-19 11:11:11 +01:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
Tom Hvitved
ab74d903fd
Rust: Path resolution for inherited functions
2025-02-18 13:49:05 +01:00
github-actions[bot]
ad24f94a77
Post-release preparation for codeql-cli-2.20.5
2025-02-17 17:58:24 +00:00
Geoffrey White
79525fa4ed
Rust: Variant -> Field.
2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37
Merge branch 'main' into nth
2025-02-17 17:17:59 +00:00
github-actions[bot]
6f4562f3bd
Release preparation for version 2.20.5
2025-02-17 16:55:54 +00:00
Anders Schack-Mulligen
a90bd68796
Merge pull request #18786 from aschackmull/ssa/cleanup
...
Rust/Ruby: Minor SSA cleanup.
2025-02-17 13:51:17 +01:00
Simon Friis Vindum
b08f5356dd
Merge pull request #18772 from paldepind/rust-method-call
...
Rust: Adjust argument position when call expression is for method
2025-02-17 13:39:24 +01:00
Simon Friis Vindum
dcfe65bc66
Rust: Address review comments
2025-02-17 13:35:46 +01:00
Simon Friis Vindum
0c3e8a0f5b
Rust: Adapt tests and existing models to account for generated models
2025-02-17 11:08:42 +01:00
Simon Friis Vindum
8b3c1ab698
Merge branch 'main' into rust-ref-pattern
2025-02-17 10:36:39 +01:00
Simon Friis Vindum
925d6ac234
Rust: Add generated models for standard libraries including core
2025-02-14 14:44:22 +01:00
Anders Schack-Mulligen
28cb37364c
Rust: delete dead code.
2025-02-14 14:16:21 +01:00
Simon Friis Vindum
632e0c82bd
Rust: Generate sources and sinks
2025-02-14 12:48:05 +01:00
Simon Friis Vindum
3f19279e98
Rust: Adjust argument position when call expression is for method
2025-02-13 14:12:14 +01:00
Tom Hvitved
e9c25037d4
Rust: Use Field MaD token instead of Variant, Struct, Tuple
2025-02-13 13:32:08 +01:00
Tom Hvitved
b2ad98ae97
Merge pull request #18755 from hvitved/rust/type-param-to-string
...
Rust: Implement `TypeParam.to(Abbreviated)String`
2025-02-13 09:59:54 +01:00
Geoffrey White
e07b25c6d4
Merge pull request #18577 from GeekMasher/rust-rusqlite
...
Rust: Add initial RuSQLite support
2025-02-12 17:14:15 +00:00
Geoffrey White
edda26c90d
Merge branch 'main' into nth
2025-02-12 15:14:20 +00:00
Geoffrey White
d0e0a7b0d0
Merge branch 'main' into http
2025-02-12 12:56:29 +00:00
Tom Hvitved
498828e91a
Rust: Implement TypeParam.to(Abbreviated)String
2025-02-12 13:23:51 +01:00
Simon Friis Vindum
f5b247d314
Merge branch 'main' into rust-ref-pattern
2025-02-12 13:23:19 +01:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +01:00
Geoffrey White
bc1805c635
Rust: .yaml -> .yml
2025-02-12 10:48:49 +00:00
Geoffrey White
cfcc6c8a50
Rust: Rename model file.
2025-02-12 10:16:57 +00:00
Simon Friis Vindum
5da14252ed
Rust: Include names in patterns in the CFG
2025-02-12 10:48:57 +01:00
Geoffrey White
333b183f43
Merge branch 'main' into http
2025-02-12 09:40:12 +00:00
Simon Friis Vindum
b24386fb58
Merge pull request #18743 from paldepind/rust-add-generated-option-model
...
Rust: Add generated flow summaries for `Option`
2025-02-12 08:51:03 +01:00
Simon Friis Vindum
94f0710350
Merge pull request #18741 from paldepind/rust-identity-pattern-to-string
...
Rust: Tweak `toString` on identity pattern
2025-02-12 08:47:15 +01:00
Simon Friis Vindum
655449be81
Rust: Add auto generated flow summaries for Option
2025-02-12 08:38:47 +01:00
Geoffrey White
e7fdfd06bf
Merge branch 'main' into nth
2025-02-11 17:37:11 +00:00
Geoffrey White
8a3a0ef24d
Rust: Use Future in the other models as well.
2025-02-11 14:54:52 +00:00
Geoffrey White
e594074421
Merge branch 'main' into http
2025-02-11 14:38:58 +00:00
Simon Friis Vindum
5a49390615
Merge pull request #18685 from paldepind/rust-future-content
...
Rust: Basic support for future content and `.await`
2025-02-11 15:27:32 +01:00
Simon Friis Vindum
a09b37edc3
Rust: Expand on toString of IdentPat
2025-02-11 15:25:54 +01:00
Simon Friis Vindum
58d86fd2a9
Merge pull request #18714 from paldepind/rust-pointer
...
Rust: Handle writes to references and add encoding of reference content
2025-02-11 14:12:56 +01:00
Simon Friis Vindum
c7412cc839
Merge pull request #18696 from paldepind/shared-bb-dominates
...
Shared: Use edge dominance terminology in basic block library
2025-02-11 14:12:07 +01:00
Geoffrey White
72a8ab3411
Update rust/ql/lib/codeql/rust/frameworks/http.model.yml
...
Co-authored-by: Simon Friis Vindum <paldepind@github.com >
2025-02-11 09:55:04 +00:00
Tom Hvitved
eaaf510b29
Merge pull request #18728 from hvitved/rust/path-resolution-namespaces
...
Rust: Model namespaces in path resolution
2025-02-11 10:29:57 +01:00
