Anders Schack-Mulligen
e90243c348
C#: Accept irrelevant changes.
...
The additions are unintentional, but the fault lies with the shared
SignAnalysis code. The removals are due to compile-time constant
initializers no longer having CFG nodes.
2026-04-10 15:47:19 +02:00
Anders Schack-Mulligen
49cc931f92
C#: Compile-time constants no longer have CFG nodes.
2026-04-10 15:47:18 +02:00
Anders Schack-Mulligen
5d589093cf
C#: Accept CFG changes.
2026-04-10 15:47:18 +02:00
Anders Schack-Mulligen
a5c99f9693
C#: Accept harmless CFG changes.
2026-04-10 15:47:17 +02:00
Anders Schack-Mulligen
6010640cea
C#: Accept bugfix.
2026-04-10 15:47:17 +02:00
Anders Schack-Mulligen
1a6670a6bb
C#: Phi nodes are not expected to have associated Elements.
2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen
43fe411585
C#: Accept SSA location changes.
2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen
b1790335c0
C#: Fix test.
2026-04-10 15:47:14 +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
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
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
1e1a8732a3
Data flow: Add hook for preventing lambda dispatch in source call contexts
2026-04-07 11:40:08 +02:00
Tom Hvitved
eb64fcd208
C#: Add test that shows unintended flow summary generation
2026-04-07 11:40:07 +02:00
Michael Nebel
9c095bc580
C#: Deprecate get[L|R]Value predicates.
2026-04-01 12:50:37 +02:00
Anders Schack-Mulligen
2a54dce5cb
C#: Remove redundant ConstantComparison.ql query.
2026-03-31 09:38:44 +02:00
Anders Schack-Mulligen
056be6d504
C#: Simplify the ConstantCondition query.
2026-03-31 09:38:44 +02:00
Michael Nebel
55516342b2
C#: Add/update tests and expected output.
2026-03-24 15:32:11 +01:00
Gregro
a59c865328
let interprocedural analysis handle source-available extension methods for LogForgingLogMessageSink's
2026-03-21 20:05:08 +00:00
Gregro
d0c48893f5
update test helper to use more robust .ReplaceLineEndings() sanitizer
2026-03-21 20:05:08 +00:00
Gregro
d99247cf13
Clarify static extension method class name
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
af63e63686
C#: Accept test changes.
2026-03-17 14:12:18 +01:00
Anders Schack-Mulligen
db0a3e38e2
C#: Accept a few irrelevant taint steps.
2026-03-16 09:09:54 +01:00
Anders Schack-Mulligen
d9ef9f82e1
C#: Make Assignment extend BinaryOperation.
2026-03-05 14:41:38 +01:00
Owen Mansel-Chan
926725a87f
Merge pull request #21405 from owen-mc/java/consistent-inline-expectation-tests
...
Inline expectation tests should always have space before and after `$`
2026-03-05 11:27:37 +00:00
Mathias Vorreiter Pedersen
f8f8991d36
C#: Accept more test changes.
2026-03-04 13:06:59 +00:00
Owen Mansel-Chan
45eb14975a
C#: Inline expectation should have space after $
...
This was a regex-find-replace from `// \$(?! )` (using a negative lookahead) to `// $ `.
2026-03-04 12:45:02 +00:00
Mathias Vorreiter Pedersen
088913d925
C#: Accept test changes.
2026-03-04 12:26:07 +00:00
Mathias Vorreiter Pedersen
b7992ed8cd
C#: Add test.
2026-03-04 12:25:08 +00:00
Michael Nebel
cfd4be6b4e
C#: Update test expected output.
2026-03-03 14:39:57 +01:00
Michael Nebel
8807217e49
C#: Add implicit conversion operator taint example.
2026-03-03 14:26:46 +01:00
Michael Nebel
8380474acd
C#: Update other test expected output.
2026-03-02 15:32:37 +01:00
Michael Nebel
a3d15dbaa3
C#: Update test expected output for new tests.
2026-03-02 15:25:31 +01:00
Michael Nebel
4e63b83fd3
C#: Add struct source model example.
2026-03-02 14:50:04 +01:00
Michael Nebel
ea1fc43732
C#: Add data flow test for struct.
2026-03-02 14:50:01 +01:00
Michael Nebel
113565ba76
C#: Update test expected output.
2026-02-24 14:38:59 +01:00
Michael Nebel
884c61604e
C#: Add dataflow test for partial constructors.
2026-02-24 14:32:22 +01:00
Michael Nebel
c5e1f0ccc9
C#: Update partial tests and expected output.
2026-02-24 14:32:20 +01:00
Michael Nebel
a255b4f50f
C#: Update test expected output.
2026-02-24 07:56:00 +01:00
Michael Nebel
03a54bfbf9
C#: Update test expected output.
2026-02-24 07:55:57 +01:00
Michael Nebel
7d7bbf2a50
C#: Add data flow test for partial method.
2026-02-23 15:10:15 +01:00
Michael Nebel
0e543a9843
C#: Update partial method test to count the number of extracted bodies.
2026-02-23 15:10:14 +01:00
Michael Nebel
a83c53ec9a
C#: Add a partial method example with a body.
2026-02-23 15:10:12 +01:00
Tom Hvitved
6dfbd4e062
Merge pull request #21342 from hvitved/csharp/equals-nullable-tests
...
C#: Add tests for `Equals` methods with nullable parameter types
2026-02-19 09:08:33 +01:00
Tom Hvitved
93d417049c
C#: Add tests for Equals methods with nullable parameter types
2026-02-18 08:42:15 +01:00
Michael Nebel
a8e93e7fa0
Merge pull request #21325 from michaelnebel/csharp14/partialmembers
...
C# 14: Support for partial `event` declarations.
2026-02-17 15:00:00 +01:00
Michael Nebel
43c6e7d250
C#: Update test expected output.
2026-02-16 16:10:32 +01:00
