Skip to content
View xi-liu-ds's full-sized avatar

Organizations

@microsoft

Block or report xi-liu-ds

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. microsoft/infersharp microsoft/infersharp Public

    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. I…

    C# 733 29

  2. facebook/infer facebook/infer Public

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

    OCaml 15k 2k

  3. microsoft/onnxruntime microsoft/onnxruntime Public

    ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

    C++ 14.6k 2.9k

  4. microsoft/infersharpaction microsoft/infersharpaction Public

    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 violati…

    Shell 62 15