X Tutup

The Wayback Machine - https://web.archive.org/web/20220110180117/https://github.com/github/codeql/pull/7469

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Merged

hvitved merged 5 commits into github:main from hvitved:csharp/promote-adhoc-consistency-checks

Jan 10, 2022

Contributor

hvitved commented Dec 22, 2021 •

edited

Identified two issues that are fixed on this PR.

github-actions bot added C# C++ Ruby labels

hvitved added 4 commits


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

05e37a7


          Shared SSA: Sync files

915c0fd


          C#: Add missing tuple declarations to PatternExpr

a3b1fb6

`x` and `y` in `pair is var (x, y) ? x : null` are now correctly part of `PatternExpr`.


          C#: Extract out/ref information in this(...) constructor calls

8a62778

hvitved force-pushed the csharp/promote-adhoc-consistency-checks branch from 3eb612b to 8a62778

hvitved marked this pull request as ready for review

hvitved requested review from as code owners

tamasvajk reviewed

View changes

csharp/extractor/Semmle.Extraction.CSharp/Entities/Constructor.cs Show resolved Hide resolved


          C#: More uses of PopulateArguments

a1bbe58

hvitved force-pushed the csharp/promote-adhoc-consistency-checks branch from 723e542 to a1bbe58

tamasvajk approved these changes

View changes

hvitved merged commit d2ebbe0 into github:main

32 checks passed

hvitved deleted the csharp/promote-adhoc-consistency-checks branch

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

X Tutup