1769 Commits

Author	SHA1	Message	Date
Nicolas Will	8707e4d9a3	Continue Artifact data-flow WIP	2025-02-18 18:35:49 +01:00
Anders Schack-Mulligen	35f50bac97	SSA: Reimplement use-use.	2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen	d6dc91d191	SSA: Inline predicate to simplify negation.	2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen	411aff6748	SSA: Refactor ranking into parameterised module.	2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen	11166fc42d	SSA: Restrict phi-read creation to be based on reachable reads.	2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen	d5ac5b4654	SSA: Replace uncertainWriteDefinitionInput implementation. ... This yields a tiny bit of additional tuples consistent with the prior Java implementation.	2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen	a4fee2e299	SSA: Minor perf tweak to reduce tuple duplication.	2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen	7e441d9eca	SSA: Fold getImmediateBasicBlockDominator into loop-invariant predicate.	2025-02-18 14:01:17 +01:00
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
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