infersharp - Security Tool

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