github-actions[bot]
ad24f94a77
Post-release preparation for codeql-cli-2.20.5
2025-02-17 17:58:24 +00:00
github-actions[bot]
6f4562f3bd
Release preparation for version 2.20.5
2025-02-17 16:55:54 +00:00
Nicolas Will
df01fa7a9c
Expand model and JCA modeling
2025-02-17 00:16:08 +01:00
Nicolas Will
b777a22d35
Expand model and specialize newtype relations
2025-02-14 23:43:07 +01:00
Paolo Tranquilli
e1f92b466f
Merge pull request #18608 from github/aibaars/tracing
...
Rust: use tracing/tracing-subscriber for logging
2025-02-14 10:36:54 +01:00
Tom Hvitved
02fd23e53a
Rust extractors: Normalize drive letter paths with a trailing /
2025-02-13 14:02:39 +01:00
Nicolas Will
874e3b5e06
Modify model to use newtypes, expand modeling
2025-02-12 17:58:15 +01:00
Asger F
654c6bfec7
Merge pull request #18735 from asgerf/inline-test-non-location
...
Test: Support arbitrary locations in inline test post-processor
2025-02-12 10:30:50 +01:00
Arthur Baars
5621eecc86
Rust: config: replace verbose with verbosity
2025-02-12 10:27:33 +01:00
Arthur Baars
c602e82ac4
Rust: use tracing-subscriber
2025-02-12 10:27:29 +01:00
Asger F
c306f44589
Remove override of final predicate
2025-02-11 17:07:09 +01:00
Asger F
80e79b11f7
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2025-02-11 16:53:13 +01:00
Nicolas Will
4d44755945
Refactor Model and CBOM print queries
2025-02-11 15:37:15 +01:00
Arthur Baars
7e569b4fb2
Merge pull request #18713 from github/aibaars-patch-2
...
TreeSitter extractors: log fewer lines
2025-02-11 14:36:36 +01:00
Asger F
967c0860f9
Test: support queries that don't select a Location
2025-02-11 12:58:49 +01:00
Simon Friis Vindum
003058c44a
Shared/Ruby: Use e for edges in documentation
2025-02-11 12:48:28 +01:00
Simon Friis Vindum
d6e8acd080
C#/Ruby/Swift: Tweaks to documentation
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2025-02-11 12:44:19 +01:00
Simon Friis Vindum
7c57962add
Merge branch 'main' into shared-bb-dominates
2025-02-11 09:31:06 +01:00
Kristen Newbury
1a12fb3099
Update JCA model, refactor modes
2025-02-10 13:49:32 -05:00
Kristen Newbury
59208bdb85
Update JCA model to use shared lib
2025-02-10 12:22:22 -05:00
Anders Schack-Mulligen
0b5270979d
SSA: Remove the need for ExitBasicBlock in SSA.
2025-02-10 14:36:18 +01:00
Anders Schack-Mulligen
34edda6b9b
C#/Ruby/Rust: Deprecate dead code.
2025-02-10 14:24:38 +01:00
Tom Hvitved
614b3cea66
Merge pull request #18697 from hvitved/rust/telemetry
...
Rust: Implement database quality telemetry query
2025-02-07 17:43:23 +01:00
Arthur Baars
a8fbb37569
TreeSitter extractors: log fewer lines
...
Printing a line for every extracted file is too verbose and for large projects makes it impossible to view the log in the Actions UI.
2025-02-07 12:28:17 +01:00
Nicolas Will
3dc28c2d17
Move language-agnostic model to shared library
2025-02-06 21:54:18 +01:00
Anders Schack-Mulligen
57735388e0
Merge pull request #18655 from aschackmull/java/typeflow-joinorder
...
TypeFlow: Improve join-order.
2025-02-06 13:12:52 +01:00
Tom Hvitved
89502d63e5
Rust: Implement database quality telemetry query
2025-02-06 10:46:48 +01:00
Simon Friis Vindum
820d2cbeb8
Shared: Use edge dominance in basic block library
2025-02-06 10:38:32 +01:00
Tom Hvitved
0f52fe92cf
Data flow: Add aliases for removing DataFlow prefixes
2025-02-05 10:57:16 +01:00
Anders Schack-Mulligen
bcec7ee234
Merge pull request #18633 from aschackmull/dataflow/refactor-flowstate
...
Dataflow: Refactor FlowState to be paired with Node
2025-02-05 09:43:25 +01:00
Arthur Baars
2a32e8865d
Merge pull request #18668 from github/post-release-prep/codeql-cli-2.20.4
...
Post-release preparation for codeql-cli-2.20.4
2025-02-04 14:22:53 +01:00
Anders Schack-Mulligen
73d7250688
Dataflow: Fix join-order issue.
2025-02-04 10:47:02 +01:00
Anders Schack-Mulligen
da34c0b3ac
Dataflow: Fixup some qldoc.
2025-02-04 10:47:01 +01:00
Anders Schack-Mulligen
e55130ebce
Dataflow: Remove unused predicate.
2025-02-04 10:47:00 +01:00
Anders Schack-Mulligen
2597ef651b
Dataflow: Avoid duplication in fwdFlow1 disjunction.
2025-02-04 10:47:00 +01:00
Anders Schack-Mulligen
b2d42ee49a
Dataflow: Rename two predicates to remove need for alias defs.
2025-02-04 10:46:59 +01:00
Anders Schack-Mulligen
e0cb70a492
Dataflow: Minor cleanup.
2025-02-04 10:46:59 +01:00
Anders Schack-Mulligen
b4197b08aa
Dataflow: Use (node,state) pair as node type in stage 2+.
2025-02-04 10:46:58 +01:00
Anders Schack-Mulligen
1166aa6a43
Dataflow: Prepare a (node,state) pair type.
2025-02-04 10:46:58 +01:00
Anders Schack-Mulligen
1799bf9d14
Dataflow: Parameterise stages 2-6 over the node type.
2025-02-04 10:46:58 +01:00
Anders Schack-Mulligen
d5759a7f33
Dataflow: Move definition of toNormalSinkNode.
2025-02-04 10:46:57 +01:00
Anders Schack-Mulligen
3cbf8e517f
Dataflow: Remove superfluous constraint.
2025-02-04 10:46:57 +01:00
Anders Schack-Mulligen
04db61a0fe
Dataflow: Move Stage1 to its own file. Stick flow exploration in there as well.
2025-02-04 10:46:56 +01:00
Anders Schack-Mulligen
02a81a0897
Dataflow: Rename signature to preempt name clash.
2025-02-04 10:46:56 +01:00
github-actions[bot]
f1b05a79a4
Post-release preparation for codeql-cli-2.20.4
2025-02-04 09:25:09 +00:00
Anders Schack-Mulligen
ce976dcc79
TypeFlow: Improve join-order.
2025-02-04 10:11:46 +01:00
Tom Hvitved
fc04ad1ef0
Test: Remove location parsing
2025-02-04 09:34:33 +01:00
github-actions[bot]
573e53e454
Release preparation for version 2.20.4
2025-02-03 15:19:35 +00:00
Asger F
28472ae12f
Test: Don't expect 'Source' tag when source and alert are on same line
...
Previously the Source tag was required if the source and alert did not
have the exact same location. This relaxes the restriction to being on
the same line.
Note that in order to be "on the same line" both start and end lines
have to match.
It's still possible for a given line to expect both Alert and Source
tags, in case the source pairs up with another alert on a different
line.
2025-02-03 11:31:02 +01:00
Chuan-kai Lin
b3b7817a2b
Merge pull request #18603 from github/cklin/restrict-alerts-to-exact
...
AlertFiltering: add restrictAlertsToExactLocation
2025-01-30 06:40:39 -08:00