Philip Ginsbach
7808763681
update python and csharp via config/sync-files.py
2025-04-22 17:24:53 +01: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
Michael Nebel
54345044ad
C#: Consider properties that has any auto declaration as an auto property in terms of field store.
2025-02-11 13:42:43 +01:00
Michael Nebel
dde28a1bed
C#: Only disregard generated summaries in case there is a static call target in source code.
2025-02-11 13:42:40 +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
Anders Schack-Mulligen
c5d0e2f125
C#/Ruby: Replace cached with nomagic for deprecated predicates.
2025-02-10 15:05:03 +01:00
Anders Schack-Mulligen
0b5270979d
SSA: Remove the need for ExitBasicBlock in SSA.
2025-02-10 14:36:18 +01:00
Anders Schack-Mulligen
34edda6b9b
C#/Ruby/Rust: Deprecate dead code.
2025-02-10 14:24:38 +01:00
Simon Friis Vindum
820d2cbeb8
Shared: Use edge dominance in basic block library
2025-02-06 10:38:32 +01:00
