Update to .NET 5.0 and Abstract Record Handling Fix

microsoft / infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

MIT License

730 stars 29 forks source link

Update to .NET 5.0 and Abstract Record Handling Fix #33

Closed matjin closed 3 years ago

matjin commented 3 years ago

-Updates pipeline to use .NET 5.0 -Adds ldtoken support -Bug fix for issue reported https://github.com/microsoft/infersharp/issues/29 -Ran editorconfig for updated formatting

Test update: -Added abstract record to the test translation coverage -ldtoken covered by auto-generated methods in abstract record