matjin

advanced-security-csharp

GitHub Advanced Security C# Demo Application

dependabotNugetTest

example

infer

A static analyzer for Java, C, C++, and Objective-C

infer-1

infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects race condition, null pointer dereferences and resource leak.

infersharp-extension

VSCode extension experience for InferSharp https://github.com/microsoft/infersharp

infersharp-vs-extension

VS extension experience for InferSharp https://github.com/microsoft/infersharp

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.

matjin/infersharp-extension

VSCode extension experience for InferSharp https://github.com/microsoft/infersharp

matjin/infersharp-vs-extension

VS extension experience for InferSharp https://github.com/microsoft/infersharp

matjin/advanced-security-csharp

GitHub Advanced Security C# Demo Application

matjin/dependabotNugetTest

matjin/example

matjin/infer

A static analyzer for Java, C, C++, and Objective-C

matjin/infer-1

matjin/infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects race condition, null pointer dereferences and resource leak.