1577 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	bda6513fc1	Merge pull request #20737 from aschackmull/csharp/deprecate-abstractvalue ... C#: Deprecate AbstractValue.	2025-10-31 15:20:24 +01:00
Anders Schack-Mulligen	fa20075a4d	C#: Review fix and simplification.	2025-10-31 14:41:32 +01:00
Anders Schack-Mulligen	4f6528a9fb	C#: Deprecate AbstractValue.	2025-10-31 14:23:23 +01:00
Anders Schack-Mulligen	e558c0219c	Merge pull request #20734 from aschackmull/csharp/tweak-nullness ... C#: Allow nullness sources with SSA at entry.	2025-10-31 14:14:43 +01:00
Anders Schack-Mulligen	5aa53287ce	C#: Allow nullness sources with SSA at entry.	2025-10-31 11:25:37 +01:00
Anders Schack-Mulligen	87d89fd00f	C#: Fix CFG for assertion.	2025-10-29 13:04:33 +01:00
Anders Schack-Mulligen	e61ddf59d7	C#: Remove assertion splitting.	2025-10-29 13:04:32 +01:00
Anders Schack-Mulligen	b48d4d4834	C#: Recognize assertions as Guards.	2025-10-29 13:04:32 +01:00
Anders Schack-Mulligen	72f1fe5d58	C#: Exclude nullness sources that are deemed non-null.	2025-10-29 13:03:51 +01:00
Anders Schack-Mulligen	7241bedf05	C#: Replace Guards with the new implementation.	2025-10-29 13:03:50 +01:00
Anders Schack-Mulligen	dc4abc952f	C#: Replace references to getANullCheck.	2025-10-29 13:02:08 +01:00
Anders Schack-Mulligen	1aa0e7c2da	C#: Make private.	2025-10-29 13:02:07 +01:00
Anders Schack-Mulligen	9776e8f828	C#: Remove an irrelevant reference to impliesStep.	2025-10-29 13:02:06 +01:00
Anders Schack-Mulligen	3542cdab43	Merge pull request #20677 from aschackmull/csharp/disable-exc-split ... C#: Delete exception splitting.	2025-10-24 08:46:33 +02:00
Anders Schack-Mulligen	72d83cc966	ControlFlowReachability: Align the SSA signature with the one from shared SSA.	2025-10-23 10:57:21 +02:00
Anders Schack-Mulligen	f257c7a570	Guards: Align the SSA signature with the one from shared SSA.	2025-10-23 10:23:22 +02:00
Anders Schack-Mulligen	20147cdd2b	Shared/Java: Rename ControlFlowReachability library.	2025-10-23 09:07:34 +02:00
Anders Schack-Mulligen	dff327ea16	C#: Delete exception splitting.	2025-10-23 08:56:56 +02:00
Anders Schack-Mulligen	8a3f62b9b6	Merge pull request #20558 from aschackmull/csharp/guards3 ... C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness	2025-10-23 08:43:14 +02:00
Anders Schack-Mulligen	f172e36eee	C#: Address more review comments.	2025-10-22 15:50:10 +02:00
Anders Schack-Mulligen	c44e6fc3f0	C#: Qldoc tweaks.	2025-10-22 10:22:26 +02:00
Michael Nebel	89681a49e6	C#: Only extract the unbound locations for constructors, destructors and user defined operators and use this in the QL code.	2025-10-09 14:13:27 +02:00
Michael Nebel	051b83f036	C#: Only extract the unbound location for fields and parameters and use this location in the QL code.	2025-10-09 14:04:13 +02:00
Michael Nebel	f9d62a0efc	C#: Narrow the use of unbound declaration locations to nested types.	2025-10-07 09:43:39 +02:00
Michael Nebel	6149608c03	C#: Always use the unbound type declaration location for type location.	2025-10-06 16:41:12 +02:00
Anders Schack-Mulligen	587901bc8a	C#: Replace NullMaybe.ql implementation.	2025-10-03 15:29:34 +02:00
Anders Schack-Mulligen	6cfadbfe90	C#: Clean up.	2025-10-03 15:29:33 +02:00
Anders Schack-Mulligen	c2d21e95b9	C#: Instantiate ControlFlowReachability and implement new nullness.	2025-10-03 15:29:33 +02:00
Anders Schack-Mulligen	449059f1ac	C#: Disable FinallySplit, BooleanSplit, and LoopSplit	2025-10-03 15:29:32 +02:00
Anders Schack-Mulligen	b52a9a818c	C#: Instantiate shared Guards.	2025-10-03 15:29:32 +02:00
Michael Nebel	d7a2c7da18	C#: Adjust the QL library to use the locations of the unbound declarations.	2025-09-30 11:33:26 +02:00
Simon Friis Vindum	7d6e2060e5	Adapt all languages to changes in shared library	2025-09-22 14:18:58 +02:00
Anders Schack-Mulligen	5e76d5ff3f	C#: Rename predicate as per review, and fixup qltest.	2025-09-17 11:58:39 +02:00
Anders Schack-Mulligen	62c8f28e74	C#: Bugfix for nullguards for complex patterns.	2025-09-17 09:28:54 +02:00
Anders Schack-Mulligen	f833fe0e6e	Merge pull request #20300 from aschackmull/cfg/successortype ... Shared: Add a shared SuccessorType implementation	2025-09-02 14:09:35 +02:00
Michael Nebel	39d3741a91	Merge pull request #20326 from michaelnebel/csharp/ql4ql ... C#: Fix some Ql4Ql violations.	2025-09-02 11:44:22 +02:00
Anders Schack-Mulligen	3d4d347150	SuccessorType: Address review comments.	2025-09-02 11:10:00 +02:00
Michael Nebel	ef4b41ab6d	C#: Replace exists with any.	2025-09-02 09:26:37 +02:00
Michael Nebel	7491352278	C#: Fix some Ql4Ql violations.	2025-09-01 14:57:30 +02:00
Anders Schack-Mulligen	bbf7995100	C#: Fix caching dependencies.	2025-09-01 13:48:25 +02:00
Anders Schack-Mulligen	144e34c669	Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.	2025-09-01 13:43:32 +02:00
Anders Schack-Mulligen	8b50ac291f	C#: Use shared SuccessorType.	2025-09-01 12:53:24 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	f459ddc40a	Languages: Adapt to api changes.	2025-09-01 11:26:33 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Tom Hvitved	aa3f4e1eca	C#: Fix context-sensitive dispatch when using base qualifier	2025-08-28 13:24:47 +02:00
Michael Nebel	ebfbc71104	C#: Address more review comments.	2025-08-21 08:07:17 +02:00
Michael Nebel	b42c366250	C#: Address review comments.	2025-08-20 08:50:23 +02:00
Michael Nebel	81751ea591	C#: Allow implicit reads from collections in argument nodes (sinks and additional flow steps) for default taint tracking configurations.	2025-08-18 12:56:09 +02:00
Nora Dimitrijević	8000e7c442	Merge pull request #20074 from d10c/d10c/diff-informed-phase-3-csharp ... C#: Diff-informed queries: phase 3 (non-trivial locations)	2025-08-15 12:07:47 +02:00