Mathias Vorreiter Pedersen
403ad3c7bd
Shared: Add missing transitive closure.
2025-01-31 12:04:34 +00:00
Mathias Vorreiter Pedersen
c825ca8ec6
Shared: Refactor DataFlowStack so that we don't depend on our own modifications to the shared dataflow library files.
2025-01-30 16:21:21 +00:00
Mathias Vorreiter Pedersen
464ae8baf1
Shared: Autoformat.
2025-01-30 16:19:20 +00:00
Mathias Vorreiter Pedersen
e4378b26b8
All languages: Get rid of the Microsoft modifications to the GitHub dataflow files.
2025-01-30 15:40:52 +00:00
Dilan
25a46a882b
Merge tag 'codeql-cli/latest'
...
Compatible with the latest released version of the CodeQL CLI
2025-01-28 19:01:55 +00:00
github-actions[bot]
ec70b80a0a
Release preparation for version 2.20.2
2025-01-21 12:47:53 +00:00
Chris Smowton
90c396b46a
Revert "Release preparation for version 2.20.2"
2025-01-21 12:02:52 +00:00
github-actions[bot]
ec1ca5dc25
Release preparation for version 2.20.2
2025-01-20 14:44:12 +00:00
Anders Schack-Mulligen
28d0d65c41
Merge pull request #18515 from aschackmull/dataflow/simplify-rev-throughflow
...
Dataflow: Simplify the call-edge join in reverse through-flow.
2025-01-20 13:37:42 +01:00
Asger F
26a11efc5b
Merge branch 'main' into js/test-suite
2025-01-17 10:09:06 +01:00
Anders Schack-Mulligen
20af2d5fe2
Dataflow: Fix poor join-order
2025-01-16 16:22:56 +01:00
Anders Schack-Mulligen
3ffc616179
Dataflow: Slight join improvement.
2025-01-16 16:22:55 +01:00
Anders Schack-Mulligen
f310780257
Dataflow: Simplify the call-edge join in reverse through-flow.
2025-01-16 16:07:24 +01:00
Asger F
1964b347c7
Merge branch 'main' into js/test-suite
2025-01-16 13:19:07 +01:00
Anders Schack-Mulligen
4223971f14
Dataflow: Remove outdated comment.
2025-01-16 10:26:40 +01:00
Anders Schack-Mulligen
f11ae49312
Dataflow: Fix a poor join-order.
2025-01-16 10:25:55 +01:00
yoff
599411b440
Merge pull request #17787 from yoff/shared/add-location-to-typetracking-nodes
...
shared: Add locations to type tracking nodes
2025-01-13 23:06:09 +01:00
Asger F
ce8912ddcc
Test: Handle 'problems' result set as an alias for '#select'
2025-01-10 14:18:21 +01:00
Tom Hvitved
303b11ec36
Merge pull request #18298 from hvitved/rust/mad-source-sink
...
Rust: Add support for MaD sources and sinks with access paths
2025-01-10 11:49:51 +01:00
Tom Hvitved
039b2ecf9b
Merge pull request #18457 from hvitved/dataflow/disallowed-return-inline-late
...
Data flow: Fix a bad join order
2025-01-10 09:37:58 +01:00
Dilan
4fd7aec87f
Merge tag 'codeql-cli/latest'
...
Compatible with the latest released version of the CodeQL CLI
2025-01-09 21:59:09 +00:00
yoff
b263132ab2
Merge pull request #17998 from yoff/shared/locations-in-range-analysis
2025-01-09 14:05:54 +01:00
Tom Hvitved
653d1227e3
Data flow: Cache known{Source,Sink}Model
2025-01-09 13:11:29 +01:00
Tom Hvitved
91b6a6573c
Data flow: Fix a bad join order
2025-01-09 12:58:16 +01:00
Tom Hvitved
a7bb95249b
Rust: Implement known{Source,Sink}Model
2025-01-09 11:47:57 +01:00
Owen Mansel-Chan
0f8f5d2793
Merge branch 'main' into post-release-prep/codeql-cli-2.20.1
2025-01-08 16:28:23 +00:00
yoff
21e7a0e828
Merge branch 'main' into shared/locations-in-range-analysis
2025-01-08 16:40:59 +01:00
Tom Hvitved
9e5a814f72
Merge pull request #18315 from hvitved/ruby/dataflow-types
...
Ruby: Track types in data flow
2025-01-08 15:26:38 +01:00
Tom Hvitved
868caf948c
Rename {Source,Sink}Node to {Source,Sink}Element
2025-01-08 15:21:43 +01:00
yoff
f02995d72b
shared: add qldoc
2025-01-08 13:33:03 +01:00
yoff
aca5a51a78
Merge branch 'main' into shared/add-location-to-typetracking-nodes
2025-01-08 12:47:05 +01:00
Paolo Tranquilli
d2c7decd02
Rust/Ruby: upgrade all cargo dependencies excluding rust-analyzer
...
The rust-analyzer update will need more work as it seems to break rust
analysis on windows.
This was carried out using `cargo upgrade` from `cargo-edit`:
* getting exclusions options for rust-analyzer with
```bash
cargo upgrade -i --dry-run | grep -o 'ra_ap_\S\+' | sort -u | sed 's/^/--exclude=/' > /tmp/exclude
```
* running
```bash
cargo upgrade -i $(cat /tmp/exclude)
misc/bazel/3rdparty/update_cargo_deps.sh
```
2025-01-08 09:57:11 +01:00
Tom Hvitved
96bf81ad6c
Merge pull request #18333 from hvitved/dataflow/stage1-param-self-prune
...
Data flow: Prune parameter-self flow in stage 1
2025-01-08 09:16:12 +01:00
github-actions[bot]
fb20f6ca63
Post-release preparation for codeql-cli-2.20.1
2025-01-07 22:07:40 +00:00
github-actions[bot]
88b6f1e79a
Release preparation for version 2.20.1
2025-01-07 20:50:36 +00:00
Dave Bartolomeo
72a53c4b23
Revert "Release preparation for version 2.20.1"
2025-01-07 13:32:23 -05:00
github-actions[bot]
fbf9f2fff8
Release preparation for version 2.20.1
2025-01-07 17:20:13 +00:00
Dave Bartolomeo
22e030584c
Revert "Release preparation for version 2.20.1"
2025-01-07 12:14:27 -05:00
Tom Hvitved
aa024010b1
Address review comment
2025-01-07 14:23:54 +01:00
Anders Schack-Mulligen
eea85d8f82
Dataflow: Remove some dead code.
2025-01-07 12:56:26 +01:00
github-actions[bot]
a121c5a5d0
Release preparation for version 2.20.1
2025-01-06 18:20:22 +00:00
Tom Hvitved
8f6ae6274d
Rust: Add support for MaD sources and sinks with access paths
2025-01-06 13:26:49 +01:00
Tom Hvitved
978a816f11
Ruby: Track types in data flow
2025-01-06 13:26:10 +01:00
Tom Hvitved
06ba814929
Data flow: Prune parameter-self flow in stage 1
2025-01-06 13:23:03 +01:00
Asger F
be939dca29
Merge pull request #14350 from asgerf/shared/deduplicate-path-graph
...
Shared: Add DataFlow::DeduplicatePathGraph
2024-12-18 14:04:29 +01:00
Asger F
e34fbc8bd1
Shared: autoformat
2024-12-17 11:26:56 +01:00
Asger F
8340841d54
Shared: Fix propagation of call bit
2024-12-17 11:16:04 +01:00
Asger F
f2968f4e14
Shared: Ensure subpath-induced edges are handled properly
...
Argument-passing and flow-through edges are present in 'edges' in addition to 'subpaths', but the implementation didn't take this into account.
2024-12-16 13:21:43 +01:00
Asger F
0edb30638a
Apply suggestions from code review
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-12-16 13:14:27 +01:00
Tom Hvitved
40d9460698
Data flow: Remove unused column from flowThroughOutOfCall
2024-12-11 14:35:32 +01:00
