Arthur Baars
|
2804c13027
|
Rust: use optionalBarrier
|
2025-03-20 11:37:05 +01:00 |
|
Arthur Baars
|
5a91b94395
|
Refactor using OptionalStep
|
2025-03-20 11:37:04 +01:00 |
|
Arthur Baars
|
d3e28772ae
|
Rust/Python improve qldoc of SafeAccessCheck
|
2025-03-20 11:16:45 +01:00 |
|
Chris Smowton
|
9a2a13ed55
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc317-into-main
|
2025-03-19 16:01:29 +00:00 |
|
Simon Friis Vindum
|
0d770c8c91
|
Rust: Improve handling of type parameters with trait bounds
|
2025-03-19 16:34:23 +01:00 |
|
Simon Friis Vindum
|
b2b650ddd3
|
Rust: Rename classes with Record to Struct
|
2025-03-19 12:05:39 +01:00 |
|
Tom Hvitved
|
0bf2bfa2f1
|
Rust: Take depdency renaming into account when extracting the crate graph
|
2025-03-19 08:39:22 +01:00 |
|
Arthur Baars
|
81f954a42e
|
Rust: add missing QLDocs
|
2025-03-18 19:16:19 +01:00 |
|
Arthur Baars
|
f08d1d10f1
|
Rust: tainted path implement basic sanitizers
|
2025-03-18 19:16:13 +01:00 |
|
Arthur Baars
|
ecca805c34
|
Rust: add Dataflow::BarrierGuard module
|
2025-03-18 19:13:37 +01:00 |
|
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 |
|