keyvalue
id276728418
nameinfersharp
full_namemicrosoft/infersharp
html_urlhttps://github.com/microsoft/infersharp
descriptionInfer# 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.
created_atJuly 2, 2020, 7:22 p.m.
updated_atApril 21, 2024, 2:23 a.m.
pushed_atJan. 16, 2024, 8:18 p.m.
size30,674
stargazers_count719
watchers_count25
forks_count28
open_issues42
languageC#
awesome_list

https://github.com/analysis-tools-dev/static-analysis