C#: Remove assembly prefixes from TRAP labels#4017

Merged

hvitved merged 21 commits intogithub:mainfrom

hvitved:csharp/unqualify-trap-ids3

Sep 4, 2020

Commits on Sep 2, 2020

C#: Remove assembly qualifier from some trap-ids.

calumgrant
authored and
hvitved
committed
C#: Qualify type parameters with the entity that declares them

calumgrant
authored and
hvitved
committed
C#: Avoid qualifying explicit interface implementations.

calumgrant
authored and
hvitved
committed
C#: Address review comment.

calumgrant
authored and
hvitved
committed
C#: Take nullability into account when creating symbol entities. Otherwise, an entity with the wrong (cached) nullability could be created.

calumgrant
authored and
hvitved
committed
C#: Address review comment: Make dictionary type more specific.

calumgrant
authored and
hvitved
committed
C#: Only resolve a single, canonical type for each typeref.

calumgrant
authored and
hvitved
committed
C#: Unqualify method names and nested types.

calumgrant
authored and
hvitved
committed
C#: Minor edits

calumgrant
authored and
hvitved
committed
C#: Move TypeRefs into a separate file and import it privately. Reorder imports into alphabetical order.

calumgrant
authored and
hvitved
committed
C#: Address review comments.

calumgrant
authored and
hvitved
committed
C#: Fix merge conflicts. Unfortunately, the type of `symbolEntityCache` needed to be the same as `objectEntityCache` to fix nullability warnings.

calumgrant
authored and
hvitved
committed
C#: Avoid typerefs for constructed types.

calumgrant
authored and
hvitved
committed
C#: Remove assembly prefix from all extractor IDs
hvitved
committed
C#: Simplify `TypeRef.qll`
hvitved
committed
C#: Make `Callable::get[Expression|Statement]Body()` return all possible implementations
hvitved
committed
C#: Add CFG tests for callables with multiple implementations
hvitved
committed
C#: Avoid bad magic in `UselessUpcast.ql`
hvitved
committed
C#: Address review comments
hvitved
committed
C#: Address more review comments
hvitved
committed
C#: Add change note
hvitved
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

C#: Remove assembly prefixes from TRAP labels#4017

C#: Remove assembly prefixes from TRAP labels#4017
hvitved merged 21 commits intogithub:mainfrom
hvitved:csharp/unqualify-trap-ids3

Commits on Sep 2, 2020

C#: Remove assembly qualifier from some trap-ids.

C#: Qualify type parameters with the entity that declares them

C#: Avoid qualifying explicit interface implementations.

C#: Address review comment.

C#: Take nullability into account when creating symbol entities. Otherwise, an entity with the wrong (cached) nullability could be created.

C#: Address review comment: Make dictionary type more specific.

C#: Only resolve a single, canonical type for each typeref.

C#: Unqualify method names and nested types.

C#: Minor edits

C#: Move TypeRefs into a separate file and import it privately. Reorder imports into alphabetical order.

C#: Address review comments.

C#: Fix merge conflicts. Unfortunately, the type of `symbolEntityCache` needed to be the same as `objectEntityCache` to fix nullability warnings.

C#: Avoid typerefs for constructed types.

C#: Remove assembly prefix from all extractor IDs

C#: Simplify `TypeRef.qll`

C#: Make `Callable::get[Expression|Statement]Body()` return all possible implementations

C#: Add CFG tests for callables with multiple implementations

C#: Avoid bad magic in `UselessUpcast.ql`

C#: Address review comments

C#: Address more review comments

C#: Add change note