infersharp - Security Tool
infersharp Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null...
Ethical Research & Authorized Use Only Compliance Notice
This security utility is indexed for educational purposes, defensive penetration testing, vulnerability reproduction, and authorized red team engagements. Unauthorized utilization against networks without prior explicit consent violates international cybersecurity regulations.
Description
infersharp 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. Repository Information
Raw Intelligence Data
infersharp
Description:
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.
Repository Information
Stars: 748
Forks: 29
Watchers: 0
Open Issues: 43
Programming Language:
C#
License:
MIT License
Owner:
microsoft
Repository:
https://github.com/microsoft/infersharp