1930 Commits

Author	SHA1	Message	Date
REDMOND\brodes	86cab46b8d	Misc. updates to support all JCA cipher operations, including wrap, unwrap and doFinal calls. Corrected pathing for init tracing to detect what mode is being set along a path. Added support for tracing the init operation mode argument to source. Since this involved creating an Operation Mode, changes were also made to make cipher block modes (CBC) more explicit (previously just called mode, but now that term is used for various purposes).	2025-02-21 12:53:35 -05:00
Asger F	e2fe74ccd6	JS: Add support for RelatedLocation tags	2025-02-21 14:44:45 +01:00
Anders Schack-Mulligen	9acb58e8c2	SSA: Add SsaNode predicates that don't mention DefinitionExt.	2025-02-21 14:43:51 +01:00
Anders Schack-Mulligen	1c616d10d4	Merge pull request #18819 from aschackmull/ssa/refactor-phiread3 ... Ssa: Refactor shared SSA in preparation for eliminating phi-read definitions	2025-02-21 08:56:38 +01:00
REDMOND\brodes	83dc5b9906	Fixing type bug	2025-02-20 10:45:33 -05:00
REDMOND\brodes	9ee4a7a7b8	Adding a sketch for a CipherOperation concept to model encryption/decryption operations.	2025-02-20 10:37:40 -05:00
Anders Schack-Mulligen	8c0cc077c8	Ssa: Fix qldoc duplicate word.	2025-02-20 15:49:23 +01:00
Tom Hvitved	3bf424b07d	CFG: Prune ConditionalCompletionSplitting for unnecessary splits	2025-02-20 10:18:13 +01:00
Anders Schack-Mulligen	b76e5f55c6	SSA: Deprecate unused predicate.	2025-02-19 16:41:49 +01:00
Anders Schack-Mulligen	cf2136fbc7	SSA: Export simple firstUse and adjacentUseUse predicates.	2025-02-19 16:17:22 +01:00
REDMOND\brodes	3871c6a33e	Adding support for encryption operation detection.	2025-02-18 16:09:00 -05:00
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