Tom Hvitved
|
3fc9da7466
|
Merge pull request #19475 from hvitved/rust/literal-sub-classes
Rust: Add `LiteralExpr` sub classes
|
2025-05-13 16:06:53 +02:00 |
|
Tom Hvitved
|
7494eac35c
|
Address review comments
|
2025-05-13 14:26:09 +02:00 |
|
Geoffrey White
|
20a012d5f1
|
Merge pull request #19454 from geoffw0/deref
Rust: Add Operation class
|
2025-05-13 13:17:14 +01:00 |
|
Geoffrey White
|
2b6e428c37
|
Merge pull request #19466 from geoffw0/web
Rust: Add tests for web frameworks as taint sources
|
2025-05-13 09:02:46 +01:00 |
|
Tom Hvitved
|
cd01bd0e07
|
Rust: Add LiteralExpr sub classes
|
2025-05-12 20:35:00 +02:00 |
|
Geoffrey White
|
7c98fa87da
|
Rust: One more bit of cleanup.
|
2025-05-12 16:34:08 +01:00 |
|
Geoffrey White
|
402a84f755
|
Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:17:26 +01:00 |
|
Geoffrey White
|
bf8cdffffa
|
Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:06:33 +01:00 |
|
Geoffrey White
|
08fcf6114f
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:01:52 +01:00 |
|
Simon Friis Vindum
|
14ede4e0c5
|
Merge pull request #19440 from paldepind/rust-update-stdlib-models
Rust: Update generated models for core and std
|
2025-05-12 08:11:18 +02:00 |
|
Geoffrey White
|
19f86fd67f
|
Rust: Address confusing / typo'd paths.
|
2025-05-07 10:46:16 +01:00 |
|
Geoffrey White
|
49ff967465
|
Rust: Add a dataflow sources test for the Axum web fraemework.
|
2025-05-07 10:17:58 +01:00 |
|
Geoffrey White
|
e56519d959
|
Rust: Add a dataflow sources test for the Actix web fraemework.
|
2025-05-07 10:17:57 +01:00 |
|
Geoffrey White
|
310c02f1fb
|
Rust: Add a dataflow sources test for the Poem web fraemework.
|
2025-05-07 10:17:56 +01:00 |
|
Arthur Baars
|
9b0854edb1
|
Merge pull request #19335 from github/aibaars/macro-stmts
Rust: make MacroStmts expressions
|
2025-05-03 11:22:15 +02:00 |
|
Geoffrey White
|
dc1b4fcf7a
|
Rust: Unify getOperatorName() methods into Operation.
|
2025-05-02 16:46:51 +01:00 |
|
Geoffrey White
|
be2017621f
|
Rust: Unify getAnOperand() methods into Operation.
|
2025-05-02 16:46:50 +01:00 |
|
Geoffrey White
|
060d5152c4
|
Rust: Add an Operation class above LogicalOperation, AssignmentOperation etc.
|
2025-05-02 16:46:44 +01:00 |
|
Arthur Baars
|
bc35599f1a
|
Rust: rename MacroStmts to MacroBlockExpr
|
2025-05-02 16:23:02 +02:00 |
|
Arthur Baars
|
869af58c9d
|
Rust: add flow step for MacroStmts
|
2025-05-02 16:23:00 +02:00 |
|
Arthur Baars
|
9ca6706550
|
Rust: make MacroStmts a CFG Expr
|
2025-05-02 16:22:59 +02:00 |
|
Arthur Baars
|
4ca98ba816
|
Rust: test with format! macro in a block
|
2025-05-02 16:22:57 +02:00 |
|
Tom Hvitved
|
ae2fd52543
|
Merge pull request #19431 from hvitved/rust/path-resolution-remove-visibility-check
Rust: Remove visibility check in path resolution
|
2025-05-02 14:44:14 +02:00 |
|
Tom Hvitved
|
07829e5231
|
Merge pull request #19421 from github/aibaars/rust-builtin-types
Rust: extract declarations of builtin types
|
2025-05-02 14:43:47 +02:00 |
|
Simon Friis Vindum
|
3aed1c8696
|
Merge branch 'main' into rust-update-stdlib-models
|
2025-05-02 12:54:43 +02:00 |
|
Geoffrey White
|
f64e86fe2e
|
Rust: Add a library test for Operations.
|
2025-05-02 11:22:48 +01:00 |
|
Michael Nebel
|
74669cb0cb
|
Merge pull request #19382 from michaelnebel/shared/modelgenrefactor
Shared: Re-factor summary, source and sink model generators into separate modules.
|
2025-05-02 09:38:24 +02:00 |
|
Arthur Baars
|
778f46d5be
|
Rust: adjust unit tests and expected output
|
2025-05-01 22:21:48 +02:00 |
|
Tom Hvitved
|
73fa381dbc
|
Rust: Remove visibility check in path resolution
|
2025-05-01 17:14:49 +02:00 |
|
Tom Hvitved
|
423e2dac91
|
Rust: Strenghten the modeling of the Clone trait
|
2025-05-01 10:54:52 +02:00 |
|
Simon Friis Vindum
|
499d224c2b
|
Rust: Update generated models for core and std
|
2025-05-01 10:54:05 +02:00 |
|
Tom Hvitved
|
1770f568a2
|
Merge pull request #19367 from hvitved/rust/type-inference-try-expr
Rust: Type inference for `?` expressions
|
2025-05-01 10:27:49 +02:00 |
|
Tom Hvitved
|
a3c26b4bfe
|
Rust: Type inference for ? expressions
|
2025-04-30 20:35:11 +02:00 |
|
Tom Hvitved
|
88075c4c8c
|
Rust: Make manual tweaks to Copilot generated code
|
2025-04-30 20:35:10 +02:00 |
|
Tom Hvitved
|
51e70d0c3b
|
Rust: Add Copilot generated test for ? operator expressions
|
2025-04-30 20:35:09 +02:00 |
|
Simon Friis Vindum
|
f584d22b53
|
Rust: Use type inference to insert implicit borrows and derefs
|
2025-04-30 14:43:51 +02:00 |
|
Tom Hvitved
|
64145ab98a
|
Merge pull request #19369 from hvitved/rust/crate-graph-self-param
Rust: Extract `SelfParam`s from crate graph
|
2025-04-29 21:23:27 +02:00 |
|
Michael Nebel
|
a6b5645b13
|
Rust: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:11 +02:00 |
|
Michael Nebel
|
21553960b0
|
Rust: Adjust tests.
|
2025-04-25 15:50:01 +02:00 |
|
Tom Hvitved
|
7e205366ab
|
Rust: Adjust clone modeling
|
2025-04-25 08:49:02 +02:00 |
|
Tom Hvitved
|
6df5a1ef80
|
Rust: Extract SelfParams from crate graph
|
2025-04-24 15:30:23 +02:00 |
|
Geoffrey White
|
37bcedcf11
|
Merge pull request #19353 from geoffw0/modelnoise2
Rust: Remove unnecessary predicate.
|
2025-04-23 12:34:40 +01:00 |
|
Tom Hvitved
|
4abdc13f79
|
Merge pull request #19193 from hvitved/rust/path-resolution-where-clause
Rust: Take `where` clauses into account in path resolution
|
2025-04-23 13:00:58 +02:00 |
|
Geoffrey White
|
d6f1bd9792
|
Rust: Remove unnecessary predicate.
|
2025-04-23 11:24:29 +01:00 |
|
Geoffrey White
|
254789c89a
|
Merge pull request #19305 from geoffw0/modelnoise
Rust: Remove the noisy models output from the dataflow/local test.
|
2025-04-17 13:16:45 +01:00 |
|
Geoffrey White
|
22b3ef7f20
|
Merge pull request #19333 from geoffw0/consistency
Rust: Make source kinds consistent with other languages
|
2025-04-17 13:15:00 +01:00 |
|
Arthur Baars
|
48f9e5a96d
|
Merge pull request #19237 from github/aibaars/crate-graph-type-variables
Rust: extract generic parameters, arguments and resolve bound type variables
|
2025-04-17 13:02:41 +02:00 |
|
Geoffrey White
|
8d60e82ec0
|
Merge branch 'main' into modelnoise
|
2025-04-17 10:43:15 +01:00 |
|
Geoffrey White
|
43069f139d
|
Rust: command-line-source -> commandargs.
|
2025-04-17 10:15:04 +01:00 |
|
Geoffrey White
|
ed2d06bcd7
|
Rust: environment-source -> environment.
|
2025-04-17 09:57:59 +01:00 |
|