Skip to content

Infer# - v1.4
Compare
Choose a tag to compare
@xinshiMSFT xinshiMSFT released this 03 Oct 23:53
· 24 commits to main since this release
v1.4
9887607
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.

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