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
727
stars
29
forks
source link
Update idisposableTenv.json to Contain System.IDisposable #127
Hotfix for the idisposableTenv.json to include System.IDisposable. Without this present, resource leak will not understand disposable types.