Michael Nebel
|
4675426241
|
C#: Update change note with info on private fields.
|
2024-12-03 14:12:09 +01:00 |
|
Tom Hvitved
|
06b1d8e448
|
Merge pull request #18177 from hvitved/rust/dataflow-variant-canonical-path
Rust: Use canonical paths for variants in data flow
|
2024-12-03 14:01:28 +01:00 |
|
Anders Schack-Mulligen
|
9734cff15b
|
Java/C#: Update expected files.
|
2024-12-03 12:57:44 +01:00 |
|
Asger F
|
e1aff15f29
|
Merge pull request #18125 from asgerf/jss/summary-type-tracker
JS: Derive type-tracking steps from flow summaries
|
2024-12-03 12:40:56 +01:00 |
|
Paolo Tranquilli
|
ebe38bca23
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-03 12:19:08 +01:00 |
|
Paolo Tranquilli
|
952f41e17e
|
Rust: fix broken test
|
2024-12-03 12:06:39 +01:00 |
|
Asger F
|
27e61a1f3d
|
JS: Also update cheat sheet
|
2024-12-03 12:00:30 +01:00 |
|
Asger F
|
89463d73f5
|
JS: Remove mention of isAdditionalTaintStep
|
2024-12-03 11:51:46 +01:00 |
|
Asger F
|
935e1c065a
|
Update docs/codeql/codeql-language-guides/using-flow-labels-for-precise-data-flow-analysis.rst
Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
|
2024-12-03 11:49:45 +01:00 |
|
Asger F
|
89849fae87
|
Update docs/codeql/codeql-language-guides/using-flow-labels-for-precise-data-flow-analysis.rst
Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
|
2024-12-03 11:49:34 +01:00 |
|
Asger F
|
5e27257405
|
Update docs/codeql/codeql-language-guides/analyzing-data-flow-in-javascript-and-typescript.rst
Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
|
2024-12-03 11:49:22 +01:00 |
|
Michael Nebel
|
cc4382c785
|
Merge pull request #18186 from michaelnebel/csharp/removechangenote
C#: Remove change note.
|
2024-12-03 11:45:34 +01:00 |
|
Paolo Tranquilli
|
db18d1046b
|
Rust: rename getTy -> getTypeRepr
|
2024-12-03 11:17:08 +01:00 |
|
Paolo Tranquilli
|
8287cdd7b3
|
Rust: accept test changes
|
2024-12-03 11:01:05 +01:00 |
|
Anders Schack-Mulligen
|
b65a4e45ab
|
Dataflow: Postpone type pruning until stage 5.
|
2024-12-03 10:59:12 +01:00 |
|
Anders Schack-Mulligen
|
4933e803cf
|
Dataflow: Track stored type.
|
2024-12-03 10:59:11 +01:00 |
|
Paolo Tranquilli
|
b99e234cdc
|
Merge branch 'main' into redsun82/rust-tweaks
|
2024-12-03 10:47:03 +01:00 |
|
Tom Hvitved
|
3c767b086b
|
Rust: Use canonical paths for variants in data flow
|
2024-12-03 10:19:33 +01:00 |
|
Michael Nebel
|
27d2f9e402
|
C#: Add change-note.
|
2024-12-03 10:14:22 +01:00 |
|
Tom Hvitved
|
0bebfa6e45
|
Merge pull request #18130 from hvitved/rust/flow-summary-impl
Rust: Adopt shared flow summaries library
|
2024-12-03 10:14:21 +01:00 |
|
Simon Friis Vindum
|
e377a0e05a
|
Merge branch 'main' into rust-df-closure
|
2024-12-03 10:09:52 +01:00 |
|
Asger F
|
054558d7b5
|
JS: Include content properties in type-tracker properties
Reminder: we have two PropertyName classes because the one in Contents.qll can't depend on DataFlow::Node.
|
2024-12-03 09:58:54 +01:00 |
|
Asger F
|
8bca66493f
|
JS: Add test showing lack of inclusion in PropertyName
|
2024-12-03 09:57:02 +01:00 |
|
Napalys Klicius
|
1e1674a08a
|
Merge pull request #18089 from Napalys/napalys/regexp-unknown-flags
JS: RegExp unknown flags support and enhanced compatibility with RegExp objects
|
2024-12-03 09:43:13 +01:00 |
|
Tom Hvitved
|
6b7522fe77
|
Merge pull request #18178 from hvitved/csharp/unsafe-crypto-transform-from-source
C#: Restrict `cs/thread-unsafe-icryptotransform-field-in-class` to source fields
|
2024-12-03 09:30:28 +01:00 |
|
Tom Hvitved
|
52dc79eb7d
|
Address review comments
|
2024-12-03 09:28:21 +01:00 |
|
Tom Hvitved
|
3e5f4b7f89
|
Rust: Add a model for unwrap
|
2024-12-03 09:12:01 +01:00 |
|
Tom Hvitved
|
fbeb6f3940
|
Shared: Move shared logic into FlowSummaryImpl.qll
|
2024-12-03 09:11:11 +01:00 |
|
Tom Hvitved
|
395901b8e0
|
Rust: Adopt shared flow summaries library
|
2024-12-03 09:11:06 +01:00 |
|
Michael Nebel
|
86515b0140
|
C#: Remove change note.
|
2024-12-03 08:55:04 +01:00 |
|
Owen Mansel-Chan
|
61cb03ea3f
|
Merge pull request #18001 from owen-mc/go/fix/missing-promoted-fields
Go: Fix missing promoted fields due to name clash
|
2024-12-02 20:15:26 +00:00 |
|
Simon Friis Vindum
|
8e2beb7410
|
Merge pull request #18131 from paldepind/rust-field-flow
Rust: Data flow through tuple and struct fields
|
2024-12-02 20:44:37 +01:00 |
|
Paolo Tranquilli
|
e89cf303e7
|
Rust: rename TypeRef -> TypeRepr
|
2024-12-02 17:58:40 +01:00 |
|
Paolo Tranquilli
|
4bd5cc458b
|
Rust: accept test changes
|
2024-12-02 16:07:00 +01:00 |
|
Paolo Tranquilli
|
c0e55a06e7
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-12-02 15:20:42 +01:00 |
|
Paolo Tranquilli
|
b57a37479b
|
Rust: make File usable in codegen
|
2024-12-02 15:15:46 +01:00 |
|
Geoffrey White
|
0865397e29
|
Rust: Address nit.
|
2024-12-02 14:06:00 +00:00 |
|
Tamás Vajk
|
8375c49ce1
|
Merge pull request #18166 from tamasvajk/fix/db-quality-query-2
C#: Fix calls with no target in DB quality query
|
2024-12-02 14:59:33 +01:00 |
|
Geoffrey White
|
ed22f49cdd
|
Rust: Make ql-for-ql happy.
|
2024-12-02 13:58:06 +00:00 |
|
Paolo Tranquilli
|
0a93a31565
|
Rust: accept all test changes after merge
|
2024-12-02 14:48:40 +01:00 |
|
Simon Friis Vindum
|
e1c65aae90
|
Rust: Tuple writes target post update node
|
2024-12-02 14:48:20 +01:00 |
|
Paolo Tranquilli
|
43eba85589
|
Merge branch 'main' into redsun82/rust-tweaks
|
2024-12-02 14:48:03 +01:00 |
|
Geoffrey White
|
1e656a49b0
|
Rust: Rewrite the query to (1) include functions and (2) minimize output.
|
2024-12-02 13:37:44 +00:00 |
|
Tamas Vajk
|
b8fd20eb05
|
Add explanation todo comments in the missing call target test file
|
2024-12-02 13:52:46 +01:00 |
|
Tom Hvitved
|
972cd2b21a
|
C#: Restrict cs/thread-unsafe-icryptotransform-field-in-class to source fields
|
2024-12-02 13:45:51 +01:00 |
|
Napalys Klicius
|
08ef0dc1f2
|
Update javascript/ql/lib/change-notes/2024-11-28-regexp-unknown-flags.md
Co-authored-by: Asger F <asgerf@github.com>
|
2024-12-02 13:35:52 +01:00 |
|
Napalys Klicius
|
f56e337a7f
|
Merge pull request #18164 from Napalys/napalys/ql-validate-predicate-get-returns
Add query to ensure predicates starting with 'get' return a value
|
2024-12-02 13:32:38 +01:00 |
|
Anders Schack-Mulligen
|
e9bd1e5b79
|
Dataflow: Remove types from access paths.
|
2024-12-02 13:31:51 +01:00 |
|
Asger F
|
404b0f24f2
|
JS: Fix another stray reference to BarrierGuardNode/SanitizerGuardNode
|
2024-12-02 13:29:52 +01:00 |
|
Simon Friis Vindum
|
3420f1f43f
|
Address review comments, store step for tuple indexing
|
2024-12-02 13:27:26 +01:00 |
|