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
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
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
Chuan-kai Lin
96caa686fc
AlertFiltering: add restrictAlertsToExactLocation
...
This commit introduces a new extensible predicate
restrictAlertsToExactLocation, which is similar to the existing
restrictAlertsTo predicate but matches alert locations exactly.
2025-01-29 07:50:45 -08:00
Simon Friis Vindum
9d87f26145
Shared: Use strictconcat in model generator printing
2025-01-29 11:56:39 +01:00
Chuan-kai Lin
b9b9394259
AlertFiltering: allow multiple filtering predicates
...
This commit rephrases the documentation for the restrictAlertsTo
predicate and renames the predicate columns for clarity. The new
documentation should be equivalent to the old documentation, except
allowing for the possibility that there may be multiple alert filtering
predicates.
2025-01-28 07:51:45 -08:00
Simon Friis Vindum
13e0829d19
Shared: Generalize the number of columns in a generated MaD row
2025-01-28 15:36:09 +01:00
erik-krogh
a1afa20d4b
add change-notes
2025-01-27 22:43:13 +01:00
erik-krogh
34f5f61a10
all: use my script to delete outdated deprecations
2025-01-27 22:16:48 +01:00
Asger F
1b7977bf90
Merge pull request #18466 from asgerf/js/view-component-inputs
...
JS: Add view-component-input threat model
2025-01-24 10:59:25 +01:00
Simon Friis Vindum
e13a7a224f
Merge branch 'main' into shared-basic-block-library
2025-01-24 09:54:26 +01:00
Simon Friis Vindum
a537f347d3
Shared: Tweak basic block documentation
2025-01-23 17:21:46 +01:00
Tom Hvitved
33e07edcbf
Rust: Translate more MaD IDs in tests
2025-01-23 14:45:33 +01:00
Simon Friis Vindum
9547a5cd27
Shared: Update basic block documentation and make minor tweaks
2025-01-22 16:07:30 +01:00
Jonas Jensen
773a98a9eb
Merge pull request #18340 from jbj/diff-informed-getASelectedLocation
...
Java: make more queries diff-informed with getASelectedLocation
2025-01-22 14:25:33 +01:00
Asger F
8771bf81b3
Mention view-component-input in docs and threat model grouping
2025-01-22 11:23:05 +01:00
Simon Friis Vindum
e5f419ce75
Shared: Define getNode inside cached module
2025-01-22 09:45:02 +01:00
github-actions[bot]
fbb7f0a0c6
Post-release preparation for codeql-cli-2.20.2
2025-01-20 21:11:14 +00:00
github-actions[bot]
a0512a50f2
Release preparation for version 2.20.2
2025-01-20 21:11:12 +00:00
Simon Friis Vindum
9a4bf7513d
Shared: Add more detailed documentation for immediatelyControls
2025-01-20 14:20:48 +01:00
