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.
Stars
748
Forks
30
Watchers
748
Open Issues
45
Overall repository health assessment
No package.json found
This might not be a Node.js project
58
commits
52
commits
8
commits
5
commits
4
commits
2
commits
1
commits
1
commits
1
commits
1
commits
Update Translation of Async for Resource Leak/Taint (#214)
57a1bbdView on GitHubHandle NotImplemented/NotSupported Exceptions thrown by Cecil (#207)
7b912f0View on GitHubBump Newtonsoft.Json from 13.0.1 to 13.0.2 in /Cilsil (#202)
b4e2985View on GitHub