Infer# - v1.5

What's Changed

• Increased method level code translation coverage to approximately 99%, previously at around 90%.
• Introduced support for nested exception handling blocks.
• Made adjustments to the handling of asynchronous methods to address false negative taint errors and false positive resource leaks.

Infer# - v1.4

What's Changed

• Analysis core updates
  • Update to use the latest analysis engine Pulse for resource leaks in addition to null dereferences.
  • Add taint analysis framework to detect insecure information flow like SQL injection or buffer overflow attack, etc.
• Incremental analysis - when turned on, Infer# will only analyze the files specified, making the analysis targeted and even more performant in PR scenarios.
• QoL updates
  • You can now pass in any options that are supported by infer run.
  • Introduce .inferconfig, where you can easily customize the behavior of the analysis.

Infer# - v1.3

What's Changed

• Analysis core updates
  • Update to use the latest analysis engine - Pulse
    • Higher warning accuracy
    • Better performance
  • 50x expansion of resource leak coverage - It now understands IDisposable types from popular frameworks like .NET Framework/Core, Xamarin, Unity, etc.
• Visual Studio and Visual Studio Code extension updates
  • Use WSL custom distribution to improve setup and usage experience
  • Hide warnings on files that don't exist locally
• Add .netmodule support
• QoL updates
  • Resource leak and null dereference messaging clarity
  • Under-the-hood performance improvements of resource leak analysis engine
  • Load only once for duplicate binaries

Infer# - v1.2

Infer# v1.2

New + Fixes

• Performance improvement - 6x to 8x reduction in total analysis execution time!
• Improved exception handling code coverage and accuracy.
• Method level translation coverage improved to ~90% on average.
• SARIF output format support.

./run_infersharp.sh Examples --sarif

• Added filter that shows only specified warning type(s).

./run_infersharp.sh  Examples --enable-dotnet-resource-leak

• Consolidated binary release, size reduced after extraction (1.8G -> 160M).
• False positive reduction.

Infer# - v1.1

Infer# v1.1

New + Fixes

• Support for Infer# on Windows via WSL2 (Windows Subsystem for Linux)
• Race condition detection capability
• Exception handling code coverage
• Binary release for Linux
• Additional CIL instruction coverage
• Reduce Docker image size (~4.3G -> ~270M)
• Reduce reporting log noise
• False positive reduction - ongoing

Infer# GA - v1.0

Announcing general availability (GA) of Infer#.

Breaking Changes

• If you have been using Azure Pipelines before this release, please follow the updated instructions here.

New + Fixes

• Merge language-agnostic layer to Infer.
• Consolidate Infer# analysis backend.
• Azure Pipeline support. Please follow the latest instructions here.
• Fix a crashing issue on handling abstract record.
• Performance enhancement.
• Reduce warning report noise - now Infer# only reports on null dereference and resource leak.

Initial release for Infer# open source

v0.1

Update README.md (#14)