1204 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	77ccff6be8	SSA: Replace exported def-reaches predicates (behaviour-preserving).	2025-02-18 14:01:17 +01:00
Anders Schack-Mulligen	6e272d07af	SSA: Ignore phi-reads in the new def-reaches module.	2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen	ea08c60326	SSA: Copy 3 predicates from the outer scope verbatim into the new Reaches module.	2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen	613323ee3a	SSA: Copy parts of SsaDefReaches verbatim to new module.	2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen	81b3035160	SSA: Inline predicate	2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen	f80cd97232	SSA: Factor out phi-read construction in its own predicate.	2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen	5723d27428	SSA: Make inReadDominanceFrontier a bit smaller without affecting phi-read creation.	2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen	c5e28842fb	SSA: Remove superfluous column from liveAtRank.	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	b62432fc80	SSA: Remove superfluous boolean.	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	36613e150b	SSA: Remove superfluous conjunct (implied by refRank).	2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen	3822d149af	SSA: Elaborate qldoc.	2025-02-18 14:01:12 +01:00
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
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
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
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
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