Tom Hvitved
e79a906426
C#: Fix CFG for fall-through switch statements
2025-04-25 11:48:30 +02:00
Alexander Eyers-Taylor
ea83ecf802
Merge pull request #19327 from d10c/d10c/rtjo-csharp-jo-fix
...
C#: Join order fix
2025-04-24 12:34:22 +01:00
Michael Nebel
f2dddd6d5c
C#: Hide the abstract FormatMethod class.
2025-04-24 08:54:47 +02:00
Michael Nebel
042c7e5186
C#: Generalize array logic to params collection like types.
2025-04-24 08:54:43 +02:00
Michael Nebel
f31235db43
C#: Improve format logic to take CompositeFormat and generics into account.
2025-04-24 08:54:39 +02:00
Michael Nebel
1d9d8780b3
C#: Remove some false positives and add more true positives for cs/invalid-string-format.
2025-04-24 08:54:34 +02:00
Michael Nebel
327ddb07a1
C#: Re-factor FormatMethod.
2025-04-24 08:54:30 +02:00
Nora Dimitrijević
7f5b48d485
C#: Fix join order in ExternalFlow::interpretElement/6 (only affects RTJO mode)
2025-04-17 15:52:13 +02:00
Michael Nebel
c15d1ab3bd
C#: Consider an attribute to be authorization like, if it extends an attribute that has an authorization like name.
2025-04-14 14:25:31 +02:00
Michael Nebel
79688efacb
Merge pull request #19194 from michaelnebel/csharp/enumsimpletype
...
C#: Extend simple type sanitizers with enums and `System.DateTimeOffset`.
2025-04-03 10:24:26 +02:00
Tamás Vajk
befc2fd7c1
Merge pull request #19145 from tamasvajk/tamasvajk/blazor/parameter-passing-jumpnode-2
...
C#: Blazor: Support string literals as property names in jump nodes
2025-04-03 10:07:59 +02:00
Michael Nebel
cf75493fe9
C#: Consider Enums and System.DateTimeOffset as having a sanitizing effect.
2025-04-02 11:21:05 +02:00
Michael Nebel
024712c073
C#: Temporarily comment out considering Enums as having a sanitizing effect.
2025-04-02 11:20:59 +02:00
Anders Schack-Mulligen
e6cf737f99
Merge pull request #19178 from aschackmull/csharp/pressa-useuse
...
C#: Update PreSSA to reference the new use-use predicates.
2025-04-02 10:30:36 +02:00
Ian Roof
1d81c77fcd
C#: Enhanced LogForgingQuery to treat C# Enums as simple types.
2025-04-02 09:40:10 +02:00
Michael Nebel
f4105ee4af
Merge pull request #19089 from michaelnebel/csharp/improvestringinterpolation
...
C#: Extract string interpolation alignment and format.
2025-04-01 13:40:15 +02:00
Tamas Vajk
a570a728bd
Fix code quality
2025-04-01 10:29:55 +02:00
Tamás Vajk
398f041464
Update csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll
...
Co-authored-by: Michael Nebel <michaelnebel@github.com >
2025-04-01 10:18:09 +02:00
Anders Schack-Mulligen
dbd99df85b
C#: Update PreSSA to reference the new use-use predicates.
2025-04-01 10:03:20 +02:00
Anders Schack-Mulligen
a8b19d2b21
Merge pull request #19147 from aschackmull/ssa/writedef-source-refactor
...
Ssa: Refactor data flow integration to make the input signature simpler
2025-03-31 10:07:09 +02:00
Tamas Vajk
72fb6ed078
Restrict name based property lookup to opened component types
2025-03-28 16:04:39 +01:00
Edward Minnix III
52b889f008
Support when a property is specified by a string literal instead of a nameof expression
...
In earlier versions of the Razor generator, a string literal was used
instead of a `nameof` expression in order to indicate the name of the
property being modified. This means we need to look up the property by
name instead of using a more explicit access.
2025-03-28 16:04:36 +01:00
Tamás Vajk
342d4a6982
Merge pull request #19122 from tamasvajk/tamasvajk/blazor/parameter-passing-jumpnode
...
C#: Blazor: Add non-local jump node for parameter passing
2025-03-28 16:03:54 +01:00
Anders Schack-Mulligen
5a986f5327
SSA: Remove empty predicates and dead code.
2025-03-28 12:00:38 +01:00
Anders Schack-Mulligen
6e9ebca977
C#: Switch from ssaDefAssigns/ssaDefInitializesParam to ssaDefHasSource.
2025-03-28 11:57:29 +01:00
Anders Schack-Mulligen
0c74f21107
Merge pull request #19044 from aschackmull/ssa/useuse-trim
...
Ssa: Trim the use-use relation to skip irrelevant nodes
2025-03-28 11:55:34 +01:00
Tamas Vajk
42278eb6cf
Add imports for specific jump nodes
2025-03-27 16:07:09 +01:00
Tamas Vajk
d824d24c49
Improve code quality
2025-03-27 10:31:48 +01:00
Tom Hvitved
023ffe22a0
C#: Make getPreUpdateNode Unique Again
2025-03-26 14:42:00 +01:00
Anders Schack-Mulligen
d5d0274ce7
Java/SSA: Keep proper distinction between cached stages.
2025-03-25 13:43:55 +01:00
Michael Nebel
af6e1bda4c
C#: Extract alignment and format clauses of string interpolation expressions.
2025-03-21 13:04:39 +01:00
Michael Nebel
b5ea34fcf3
C#: We can't do any reasoning based on unknown types on whether they match in a pattern.
2025-03-07 13:22:35 +01:00
Michael Nebel
82b7a19df1
Merge pull request #18894 from michaelnebel/csharp/garbagetypes
...
C#: Handle some BMN garbage types.
2025-03-07 09:19:48 +01:00
Ed Minnix
a0fe7d6a1a
Remove unused line
2025-03-05 11:04:41 -05:00
Anders Schack-Mulligen
c6761db2fc
SSA: Replace the Guards interface in the SSA data flow integration.
2025-03-05 13:29:31 +01:00
Michael Nebel
5551aebaa9
C#: Add a primary ql class for UnknownType.
2025-03-05 09:04:49 +01:00
Ed Minnix
22e958b245
Fix jump node by using associated property
2025-03-05 01:13:29 -05:00
Ed Minnix
97e00ae053
Fix formatting
2025-03-05 01:13:26 -05:00
Ed Minnix
17da291910
fixup! Component parameter passing step
2025-03-05 01:13:09 -05:00
Ed Minnix
48b90b28c7
Component parameter passing step
2025-03-05 01:13:00 -05:00
Anders Schack-Mulligen
5a909aa69c
C#: Remove remaining DefinitionExt references.
2025-03-04 12:24:24 +01:00
Anders Schack-Mulligen
f0993fc97e
C#: Switch test to use dedicated test module.
2025-03-04 12:24:22 +01:00
Anders Schack-Mulligen
9e03b12ba0
C#/Java/Ruby/Rust/SSA: Replace DefinitionExt with SourceVariable in data flow integration predicates.
2025-03-04 12:24:21 +01:00
Anders Schack-Mulligen
28e96449e7
C#: Address review comment.
2025-02-25 14:12:53 +01:00
Anders Schack-Mulligen
0583d85f20
C#: Remove getDefinitionExt references.
2025-02-24 14:22:59 +01:00
Anders Schack-Mulligen
b0a5e62003
C#: Clean up unused.
2025-02-19 16:27:52 +01:00
Anders Schack-Mulligen
17ae747b08
C#: Switch use-use predicates to new implementation.
2025-02-19 16:24:21 +01:00
Anders Schack-Mulligen
ed40035b9c
C#/Ruby/Rust: Fix bug in adjacentReadPairSameVar.
2025-02-19 16:20:57 +01:00
Michael Nebel
be0b3ba505
Merge pull request #18717 from michaelnebel/csharp/updatenetmodels2
...
C#: Update .NET 9 generated models.
2025-02-11 16:51:50 +01:00
Michael Nebel
83f8a4057c
C#: Address review comments.
2025-02-11 13:46:28 +01:00
