Skip to content

Infer# - v1.1
Compare
Choose a tag to compare
@xinshiMSFT xinshiMSFT released this 22 Jun 21:29
v1.1
05d8f46
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.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
Assets 3
Loading