matjin

matjin's Stars

• facebook/infer

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

  Language:OCaml14.9k6051.4k2k

• microsoft/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.

  Language:C#730257829

• microsoft/infersharpaction

  About 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.

  Language:Shell62101315

• microsoft/InferredBugs

  InferredBugs: a metadata-rich dataset of bugs and fixes in Java and C# programming languages extracted with the Infer static analyzer

  11604

• matjin/infersharp-extension

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

  Language:TypeScript3200

• matjin/infersharp-vs-extension

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

  Language:C#3110