infersharpaction
About 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
Bot releases are visible (Hide)
Update to Infer# v1.5
Published by xinshiMSFT over 1 year ago
Deprecate set-output to avoid action failure.
Published by xinshiMSFT about 2 years ago
Published by xinshiMSFT over 2 years ago
Enable optional parameters.
Published by xinshiMSFT over 2 years ago
Published by xinshiMSFT almost 3 years ago
- SARIF support for GitHub Advanced Security
Published by xinshiMSFT almost 3 years ago
This version corresponds to Infer# v1.2
Published by xinshiMSFT about 3 years ago
This version corresponds to Infer# v1.1
Published by xinshiMSFT over 3 years ago
- Announcing general availability (GA) of Infer# GitHub Action.
- Consolidate Infer# analysis backend.
- Performance enhancement.
- User experience improvement.
Published by xinshiMSFT almost 4 years ago
Published by xinshiMSFT about 4 years ago