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 hidden (Show)
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
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
Published by xinshiMSFT almost 4 years ago
Published by xinshiMSFT about 4 years ago