Tom Hvitved fdd787b89c Merge pull request #7658 from hvitved/csharp/dataflow/no-negative-positions ...

C#: Get rid of negative parameter/argument data-flow positions

2022-01-25 09:01:44 +01:00

..

commons

C#: Promote existing ad-hoc consistency checks to consistency queries

2021-12-22 13:05:58 +01:00

controlflow

Merge pull request #7469 from hvitved/csharp/promote-adhoc-consistency-checks

2022-01-10 11:10:25 +01:00

dataflow

Merge pull request #7658 from hvitved/csharp/dataflow/no-negative-positions

2022-01-25 09:01:44 +01:00

dispatch

simplify expressions that could be type-casts

2022-01-20 10:41:35 +01:00

exprs

C#: Deprecate Record and introduce RecordClass instead. Also make flow summary support for record struct constructors.

2022-01-17 16:16:18 +01:00

frameworks

Merge pull request #7658 from hvitved/csharp/dataflow/no-negative-positions

2022-01-25 09:01:44 +01:00

metrics

Packaging: C# refactoring

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

security

Fix non-US spelling of 'behavior'

2021-12-17 15:29:31 +00:00

serialization

C#: Change generic method names to include <> and type args/params

2021-09-06 11:48:22 +02:00

AnnotatedType.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

Assignable.qll

C#: Introduce class Overridable

2021-12-14 10:52:13 +01:00

Attribute.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

Caching.qll

C#: Make CFG library shared

2021-08-25 11:35:11 +02:00

Callable.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

Chaining.qll

Packaging: C# refactoring

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

Comments.qll

C#: Adopt inline test expectations framework

2021-10-14 15:22:21 +02:00

Conversion.qll

C#: Improve join-order in defaultDelegateConversion

2021-10-22 10:12:18 +02:00

Element.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

Event.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

ExprOrStmtParent.qll

C#: Fix bug in getEnclosingCallable

2021-11-24 14:24:01 +01:00

File.qll

C#: Introduce extractor mode to identify DBs created with codeql test run

2022-01-19 13:46:22 +01:00

Generics.qll

C#: Remove un-needed ql doc comment.

2022-01-14 12:55:54 +01:00

Implements.qll

C#: Fix broken FlowSummariesFiltered test

2021-12-15 18:32:25 +01:00

Location.qll

Fix hasLocationInfo URL reference

2021-09-29 13:47:58 +02:00

Member.qll

C#: Introduce class Overridable

2021-12-14 10:52:13 +01:00

Modifier.qll

C#: Add getAPrimaryQlClass overrides

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

Namespace.qll

C#: Change generic method names to include <> and type args/params

2021-09-06 11:48:22 +02:00

Preprocessor.qll

C#: Address review comments.

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

PrintAst.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

Property.qll

C#: Introduce class Overridable

2021-12-14 10:52:13 +01:00

Stmt.qll

C#: Eliminate bad magic optimization

2022-01-14 10:10:23 +01:00

Type.qll

C#: Address review comments related to record structs.

2022-01-17 16:16:18 +01:00

TypeRef.qll

C#: Address review comment

2021-12-09 15:44:43 +01:00

Unification.qll

C#: Avoid overlap for () and System.ValueTuple in unification library

2021-12-17 13:13:36 +01:00

Using.qll

C#: Add support for the global modifier for using directives.

2022-01-14 10:10:22 +01:00

Variable.qll

C#: Add getAPrimaryQlClass overrides

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

XML.qll

simplify expressions that could be type-casts

2022-01-20 10:41:35 +01:00