Skip to content

Infer# - v1.2
Compare
Choose a tag to compare
@xinshiMSFT xinshiMSFT released this 10 Nov 18:49
· 80 commits to main since this release
v1.2
2b31dce
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.
Assets 4
Loading