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

..

commons

C#: Use shared SuccessorType.

2025-09-01 12:53:24 +02:00

controlflow

Merge pull request #20300 from aschackmull/cfg/successortype

2025-09-02 14:09:35 +02:00

dataflow

Merge pull request #20300 from aschackmull/cfg/successortype

2025-09-02 14:09:35 +02:00

dispatch

C#: Fix context-sensitive dispatch when using base qualifier

2025-08-28 13:24:47 +02:00

exprs

C#: Extract alignment and format clauses of string interpolation expressions.

2025-03-21 13:04:39 +01:00

frameworks

C#: Exclude Microsoft.Data.SqlClient.SqlCommand from the best effort SqlSink creation.

2025-06-26 08:46:49 +02:00

internal

C#: Move implicit entry definitions inside method bodies in SSA construction

2024-07-01 10:48:13 +02:00

metrics

C#: Remove omittable exists variables

2023-01-10 13:36:25 +01:00

security

Merge pull request #20300 from aschackmull/cfg/successortype

2025-09-02 14:09:35 +02:00

serialization

C#: Fix some Ql4Ql violations.

2025-09-01 14:57:30 +02:00

telemetry

C#: Add ql doc to TestLibrary.

2024-12-17 14:40:01 +01:00

AnnotatedType.qll

Update csharp/ql/lib/semmle/code/csharp/AnnotatedType.qll

2024-02-26 11:35:28 +01:00

Assignable.qll

C#: Fix some Ql4Ql violations.

2025-09-01 14:57:30 +02:00

Attribute.qll

C#: Add overload resolution priority attribute class.

2025-01-23 14:17:52 +01:00

Caching.qll

C#: Use shared SuccessorType.

2025-09-01 12:53:24 +02:00

Callable.qll

C#: Fix some Ql4Ql violations.

2025-09-01 14:57:30 +02:00

Chaining.qll

Packaging: C# refactoring

2021-08-19 14:09:35 -07:00

Comments.qll

C#: Take mapped locations into account in Comments.qll

2024-10-28 14:21:10 +01:00

Conversion.qll

C#: Introduce a class for ref structs.

2025-01-03 16:26:57 +01:00

Element.qll

C#: Remove deprecated predicates.

2024-09-16 14:12:05 +02:00

Event.qll

C#: Only use getTypeRef when there is not already a type available

2023-10-27 14:11:55 +02:00

ExprOrStmtParent.qll

C#: Move implicit entry definitions inside method bodies in SSA construction

2024-07-01 10:48:13 +02:00

File.qll

C#: Include .razor files in File::fromSource

2024-09-11 16:13:42 +02:00

Generics.qll

C#: Handle non-unique type arguments when computing generics strings

2025-06-17 09:30:49 +02:00

Implements.qll

C#: Fix various bad joins

2024-02-12 19:49:53 +01:00

Location.qll

C#: Perform fewer regexpCaptures when matching version numbers

2024-07-10 14:50:39 +02:00

Member.qll

C#: Fix some Ql4Ql violations.

2025-09-01 14:57:30 +02:00

Modifier.qll

C#: Add getAPrimaryQlClass overrides

2022-01-13 12:20:41 +01:00

Namespace.qll

C#: Remove deprecated qualifiedName predicates.

2024-04-08 13:46:44 +02:00

Preprocessor.qll

C#: Address review comments.

2022-01-19 13:50:02 +01:00

PrintAst.qll

C#: Replace exists with any.

2025-09-02 09:26:37 +02:00

Property.qll

C#: Clean up implementation and remove CIL dataflow implementation.

2024-03-07 09:40:33 +01:00

Stmt.qll

C#: Fix CFG for fall-through switch statements

2025-04-25 11:48:30 +02:00

Type.qll

C#: Include constructors in ValueOrRefType.hasCallable

2025-08-04 13:51:17 +02:00

TypeRef.qll

C#: Only use getTypeRef when there is not already a type available

2023-10-27 14:11:55 +02:00

Unification.qll

C#: Improve unification logic to handle ref structs.

2025-01-03 16:27:00 +01:00

Using.qll

C#: Only use getTypeRef when there is not already a type available

2023-10-27 14:11:55 +02:00

Variable.qll

C#: Update dispatch logic and other libraries to handle params collection types.

2025-01-02 11:13:10 +01:00

XML.qll

C#: Switch to shared XML.qll implementation

2024-03-19 13:14:42 +01:00