1769 Commits

Author	SHA1	Message	Date
Michael Nebel	77da545ab4	C#: Reclassify some sources as AspNetRemoteFlowSource.	2026-04-21 13:39:54 +02:00
Anders Schack-Mulligen	a2a4e8288e	C#: Deprecate ControlFlowElement.getAControlFlowNode and remove some splitting quantification.	2026-04-21 11:14:05 +02:00
Anders Schack-Mulligen	b6f50f5992	C#: Simplify.	2026-04-20 14:43:28 +02:00
Anders Schack-Mulligen	3ceb96a45f	C#: Eliminate Completion.qll.	2026-04-20 14:43:28 +02:00
Anders Schack-Mulligen	e928c224ae	C#/Cfg: Some simple review fixes.	2026-04-20 14:43:27 +02:00
Tom Hvitved	426962e348	C#: Fix FPs in RedundantToStringCall.ql	2026-04-17 09:37:19 +02:00
Anders Schack-Mulligen	e0952948ba	Merge pull request #21701 from aschackmull/csharp/intvalue ... C#: Introduce Expr.getIntValue.	2026-04-14 11:23:29 +02:00
Owen Mansel-Chan	7458674470	Merge pull request #21584 from owen-mc/shared/update-mad-comments ... Shared: update code comments explaining models-as-data format to include barriers and barrier guards	2026-04-14 09:30:28 +01:00
Anders Schack-Mulligen	d3e580fd0e	C#: Introduce Expr.getIntValue.	2026-04-13 14:52:38 +02:00
Anders Schack-Mulligen	d5c9fd1085	C#/Cfg: A bit more qldoc.	2026-04-10 15:47:25 +02:00
Anders Schack-Mulligen	bbd403dbc3	C#: Rework DataFlowCallable-to-cfg relation in terms of basic blocks for performance.	2026-04-10 15:47:23 +02:00
Anders Schack-Mulligen	bfbd0f77e8	C#: Fix some bad join orders.	2026-04-10 15:47:23 +02:00
Anders Schack-Mulligen	1d9c0ae388	C#: Fix perf.	2026-04-10 15:47:22 +02:00
Anders Schack-Mulligen	093eb57ad0	C#: Fix CFG position of property setter calls.	2026-04-10 15:47:15 +02:00
Anders Schack-Mulligen	ac88b73b65	C#: Bugfix in enclosing callable.	2026-04-10 15:47:15 +02:00
Anders Schack-Mulligen	ff978d1a8c	C#: Replace CFG.	2026-04-10 15:47:13 +02:00
Anders Schack-Mulligen	9cf9a36d0d	C#: Rename ControlFlow::BasicBlock to BasicBlock.	2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen	13a4141cc6	C#: Rename remaining references to ControlFlow::Nodes.	2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen	b878ae3f21	C#: Update some references to ControlFlow::Nodes.	2026-04-10 15:47:11 +02:00
Anders Schack-Mulligen	03f6bdbdd2	C#: Update some references in preparation for CFG swap.	2026-04-10 15:47:11 +02:00
Anders Schack-Mulligen	61976e3ef0	C#: Rename ControlFlow::Node to ControlFlowNode.	2026-04-10 15:47:10 +02:00
Anders Schack-Mulligen	035b83c0e4	C#: Introduce ControlFlowElementOrCallable.	2026-04-10 15:47:08 +02:00
Anders Schack-Mulligen	dfa8d72dd3	Merge pull request #21685 from aschackmull/csharp/unbind-new ... C#: Replace old-style unbind with pragmas.	2026-04-10 13:55:01 +02:00
Anders Schack-Mulligen	cf4ab1d106	C#: Replace old-style unbind with pragmas.	2026-04-09 15:57:19 +02:00
Tom Hvitved	33cc887be0	Merge pull request #21592 from hvitved/dataflow/source-call-context-type-flow ... Data flow: Add hook for preventing lambda dispatch in source call contexts	2026-04-09 13:44:42 +02:00
Tom Hvitved	0d4524f8f3	Address review comments	2026-04-07 11:40:10 +02:00
Tom Hvitved	1e1a8732a3	Data flow: Add hook for preventing lambda dispatch in source call contexts	2026-04-07 11:40:08 +02:00
Michael Nebel	9c095bc580	C#: Deprecate get[L|R]Value predicates.	2026-04-01 12:50:37 +02:00
Anders Schack-Mulligen	2bde364bdd	Merge pull request #21599 from aschackmull/csharp/constantcondition-simplify ... C#: Simplify the ConstantCondition query.	2026-03-31 11:02:30 +02:00
Anders Schack-Mulligen	2a54dce5cb	C#: Remove redundant ConstantComparison.ql query.	2026-03-31 09:38:44 +02:00
Anders Schack-Mulligen	40366042a5	C#: Fix inconsistent casing of Cs/CS.	2026-03-30 15:24:32 +02:00
Owen Mansel-Chan	a7fdc4b543	Replace acceptingvalue with acceptingValue	2026-03-27 22:15:45 +00:00
Owen Mansel-Chan	b3285c6ae2	Make description of acceptingvalue column clearer	2026-03-27 11:35:22 +00:00
Owen Mansel-Chan	e680d49c93	Shared: document extensible relations rather than CSV	2026-03-27 09:47:32 +00:00
Owen Mansel-Chan	10fddc7b96	Add barriers and barrier guards to MaD format explanations	2026-03-27 09:47:24 +00:00
Michael Nebel	d96e8cb704	C#: Remove expr_parent_adjusted.	2026-03-24 15:32:20 +01:00
Michael Nebel	a900fe8657	C#: Adress review comments.	2026-03-24 15:32:17 +01:00
Michael Nebel	3d2d09d0bc	C#: Use the DB types and replace the abstract class implementation.	2026-03-24 15:32:15 +01:00
Michael Nebel	51673312c5	C#: Upgrade libraries and queries to use the new Operation classes.	2026-03-24 15:32:08 +01:00
Michael Nebel	149df86ce2	C#: Update the CFG implementation based on the new operations and remove hack that rotates children of assignments.	2026-03-24 15:32:06 +01:00
Michael Nebel	569e33b407	C#: Introduce a new kind of assignable definitions for compound assignments (those that was previously covered by expanded assignments).	2026-03-24 15:32:04 +01:00
Michael Nebel	e2afb000b2	C#: Cleaup expanded assignments from the dispatch logic.	2026-03-24 15:32:02 +01:00
Michael Nebel	2a78183238	C#: Deprecate the expanded assignment predicate as we no longer extract expanded assignments.	2026-03-24 15:32:00 +01:00
Michael Nebel	327757dbcb	C#: Update the child indices for assignments, update Assign classes to extend OperatorCall and add AssignOperation classes.	2026-03-24 15:31:57 +01:00
Gregro	a59c865328	let interprocedural analysis handle source-available extension methods for LogForgingLogMessageSink's	2026-03-21 20:05:08 +00:00
Gregro	a9eb801fea	C#: Fix false positives in cs/log-forging for extension methods	2026-03-21 20:05:08 +00:00
Anders Schack-Mulligen	19faf8f30b	C#: Add ObjectInitMethod as enclosing callable for the instance initializers.	2026-03-17 13:38:41 +01:00
Anders Schack-Mulligen	a929c0bf24	C#: Remove splitting-awareness from Range Analysis.	2026-03-16 09:58:14 +01:00
Anders Schack-Mulligen	e7edf15031	C#: Clean up.	2026-03-16 08:51:51 +01:00
Anders Schack-Mulligen	4c77e0f315	C#: Remove splitting-awareness for local expression steps.	2026-03-16 08:51:51 +01:00