Tom Hvitved
|
ac644b257a
|
Merge pull request #20848 from hvitved/rust/ranked-forex-rename
Rust: Use `ToIndex` instead of `FromIndex` in ranked `forex` predicates
|
2025-11-24 13:05:58 +01:00 |
|
Tom Hvitved
|
17e1e1713e
|
Rust: Add placeholder declarations for &mut and *mut
|
2025-11-23 20:56:07 +01:00 |
|
Tom Hvitved
|
b16f8c20a9
|
Update rust/ql/lib/codeql/rust/internal/PathResolution.qll
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-11-23 19:05:24 +01:00 |
|
Geoffrey White
|
b62968fa0f
|
Rust: Spelling.
|
2025-11-22 09:22:33 +00:00 |
|
Geoffrey White
|
993154ed57
|
Rust: Avoid duplicating sinks.
|
2025-11-21 19:34:16 +00:00 |
|
Geoffrey White
|
0ea28b4026
|
Rust: Test .expected changes.
|
2025-11-21 18:57:06 +00:00 |
|
Geoffrey White
|
ff8032a4ec
|
Rust: Fix after merge.
|
2025-11-21 18:53:57 +00:00 |
|
Geoffrey White
|
eb674d08d6
|
Rust: Reinstate the original function names model but call it a heuristic now.
|
2025-11-21 18:46:12 +00:00 |
|
Geoffrey White
|
2ce4c47646
|
Rust: More sinks from the MRVA-1000.
|
2025-11-21 18:43:35 +00:00 |
|
Geoffrey White
|
80615056c0
|
Merge remote-tracking branch 'upstream/main' into cert-checks
|
2025-11-21 18:40:40 +00:00 |
|
copilot-swe-agent[bot]
|
9b65a33b4a
|
Add ECB and CBC block mode test cases
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-11-21 18:32:39 +00:00 |
|
Geoffrey White
|
988aca1f85
|
Rust: Correct QLDoc comment.
|
2025-11-21 18:13:08 +00:00 |
|
Geoffrey White
|
03fc4cb0aa
|
Merge remote-tracking branch 'upstream/main' into access-invalid-pointer-fp
|
2025-11-21 17:39:56 +00:00 |
|
Geoffrey White
|
9db1722060
|
Rust: Accept consistency check changes.
|
2025-11-21 17:35:34 +00:00 |
|
Geoffrey White
|
e01c871b70
|
Rust: Accept changes to the dataflow/sources/file test.
|
2025-11-21 17:12:23 +00:00 |
|
Geoffrey White
|
3ad014b2f9
|
Rust: Additional sinks found in MRVA-1000.
|
2025-11-21 16:33:59 +00:00 |
|
Geoffrey White
|
ace7a77fd6
|
Rust: Switch to MaD models.
|
2025-11-21 16:27:52 +00:00 |
|
Geoffrey White
|
785754ec65
|
Rust: Switch the query to taint flow, since some taint summaries are relevant now.
|
2025-11-21 15:02:29 +00:00 |
|
Geoffrey White
|
89a9c46547
|
Rust: Second change note.
|
2025-11-21 15:02:27 +00:00 |
|
Geoffrey White
|
aca7877be2
|
Rust: Add some missing path / file metadata models.
|
2025-11-21 15:02:25 +00:00 |
|
Geoffrey White
|
8145264b77
|
Rust: Add threat model sources as additional sources for the query.
|
2025-11-21 14:40:11 +00:00 |
|
Geoffrey White
|
2da0814f65
|
Rust: Add test case involving taint.
|
2025-11-21 14:39:15 +00:00 |
|
Tom Hvitved
|
132f02c51b
|
Update rust/ql/lib/codeql/rust/internal/PathResolution.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-11-20 14:34:02 +01:00 |
|
Tom Hvitved
|
0f40b3ccb8
|
Merge pull request #20842 from hvitved/rust/path-resolution-extern-crate-visibility
Rust: Handle `pub extern crate` in path resolution
|
2025-11-20 11:59:05 +01:00 |
|
Tom Hvitved
|
d4fdf956a0
|
Address review comments
|
2025-11-20 11:03:53 +01:00 |
|
Tom Hvitved
|
e4853ab060
|
Add change note
|
2025-11-19 19:37:41 +01:00 |
|
Tom Hvitved
|
d2bb53a81e
|
Rust: Run codegen
|
2025-11-19 19:37:40 +01:00 |
|
Tom Hvitved
|
489fff9572
|
Rust: Base DataFlow::Node on AST instead of CFG
|
2025-11-19 19:37:39 +01:00 |
|
Simon Friis Vindum
|
0e539dbca5
|
Rust: Handle string literals with line breaks
|
2025-11-19 13:39:48 +01:00 |
|
Simon Friis Vindum
|
481f627ae0
|
Rust: Add string literal test
|
2025-11-19 13:37:23 +01:00 |
|
Tom Hvitved
|
3d49eff4a5
|
Rust: Add integration test for pub extern crate resolution
|
2025-11-19 09:38:49 +01:00 |
|
Tom Hvitved
|
8acfc7f752
|
Rust: Handle pub extern crate in path resolution
|
2025-11-19 09:38:48 +01:00 |
|
Tom Hvitved
|
ec3b2c6a8d
|
Rust: Path resolution before variable resolution
|
2025-11-19 09:06:41 +01:00 |
|
Tom Hvitved
|
880f7b0f18
|
Rust: More path resolution and variable tests
|
2025-11-19 08:55:43 +01:00 |
|
Tom Hvitved
|
68552f9725
|
Merge pull request #20845 from hvitved/rust/cache-infer-certain-type
Rust: Cache `inferCertainType`
|
2025-11-18 20:59:38 +01:00 |
|
Paolo Tranquilli
|
f4a6ba9e50
|
Merge pull request #20857 from github/post-release-prep/codeql-cli-2.23.6
Post-release preparation for codeql-cli-2.23.6
|
2025-11-18 15:14:39 +01:00 |
|
Tom Hvitved
|
71e84439d7
|
Merge pull request #20830 from hvitved/rust/path-resolution-slice-array-builtin
Rust: Model builtin types in path resolution
|
2025-11-18 14:42:59 +01:00 |
|
Tom Hvitved
|
ec15085c34
|
Address review comments
|
2025-11-18 13:44:25 +01:00 |
|
Paolo Tranquilli
|
48ee9dd149
|
Merge branch 'main' into post-release-prep/codeql-cli-2.23.6
|
2025-11-18 12:18:09 +01:00 |
|
github-actions[bot]
|
5ee45af3aa
|
Post-release preparation for codeql-cli-2.23.6
|
2025-11-18 09:53:12 +00:00 |
|
Geoffrey White
|
9ab7f87603
|
Merge pull request #20776 from geoffw0/rustexamples
Rust: Add example queries
|
2025-11-18 09:34:48 +00:00 |
|
github-actions[bot]
|
18fa6799ce
|
Release preparation for version 2.23.6
|
2025-11-17 16:38:07 +00:00 |
|
Geoffrey White
|
81096131b6
|
Rust: Correct + clarify qldoc.
|
2025-11-17 15:27:49 +00:00 |
|
Geoffrey White
|
7c8e44db8e
|
Rust: Change note.
|
2025-11-17 15:09:57 +00:00 |
|
Geoffrey White
|
725899389b
|
Rust: Clean up the query slightly.
|
2025-11-17 15:08:53 +00:00 |
|
Geoffrey White
|
41a6bf079d
|
Rust: Add barrier for null pointer checks to the query.
|
2025-11-17 15:00:22 +00:00 |
|
Geoffrey White
|
d804229158
|
Rust: Add missing model.
|
2025-11-17 14:41:14 +00:00 |
|
Geoffrey White
|
6c3566ab52
|
Rust: It turns out we need test cases for immutable pointers as well.
|
2025-11-17 14:32:57 +00:00 |
|
Tom Hvitved
|
bf0dc3c4d1
|
Rust: Use useUniversalConditions() { none() }
|
2025-11-17 13:57:00 +01:00 |
|
Tom Hvitved
|
46f5d89674
|
Rust: Handle builtin types in path resolution
|
2025-11-17 13:56:56 +01:00 |
|