microsoft
/
infersharp
зеркало из
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
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.
99 коммитов 14 Ветки 8 Теги 31 MiB
C# 99.3%
Dockerfile 0.4%
Shell 0.3%
Перейти к файлу
Matthew Jin 909cf6472b
Create .inferconfig (#157) 
* Create .inferconfig

* Update .inferconfig
 		2022-09-02 14:02:54 -07:00
.build Docker staging release publish (#150) 2022-07-08 12:32:35 -07:00
Cilsil Add Collections to IDisposableTenv (#154) 2022-08-24 13:25:51 -07:00
Cilsil.Test Fix False Positive Null Dereferences on Reference Primitives (#146) 2022-07-12 13:53:33 -07:00
Examples update interprocedural examples (#114) 2022-03-08 14:38:45 -08:00
InferSharpModels Update to .NET 5.0 and Abstract Record Handling Fix (#33) 2021-01-27 16:54:28 -08:00
System Update to .NET 5.0 and Abstract Record Handling Fix (#33) 2021-01-27 16:54:28 -08:00
.editorconfig Initial commit (#1) 2020-09-14 15:59:03 -07:00
.gitattributes Initial commit (#1) 2020-09-14 15:59:03 -07:00
.gitignore Initial commit (#1) 2020-09-14 15:59:03 -07:00
.inferconfig Create .inferconfig (#157) 2022-09-02 14:02:54 -07:00
CODE_OF_CONDUCT.md Initial CODE_OF_CONDUCT.md commit 2020-07-02 12:22:12 -07:00
CONTRIBUTING.md Update to .NET 5.0 and Abstract Record Handling Fix (#33) 2021-01-27 16:54:28 -08:00
Dockerfile use latest opam in dockerfile (#147) 2022-07-01 13:24:03 -07:00
Infersharp.sln Preload IDisposable Type Environment Prior to Translation (#126) 2022-04-15 09:46:59 -07:00
LICENSE Initial LICENSE commit 2020-07-02 12:22:12 -07:00
NOTICE.md Initial commit (#1) 2020-09-14 15:59:03 -07:00
README.md Update README.md (#99) 2021-12-18 09:20:25 -08:00
RUNNING_INFERSHARP_ON_WINDOWS.md Update instructions for 1.3 (#138) 2022-05-04 16:06:38 -07:00
RUNNING_IN_DOCKER.md Update Docker instructions (#153) 2022-07-14 10:50:39 -07:00
SECURITY.md Initial SECURITY.md commit 2020-07-02 12:22:14 -07:00
TROUBLESHOOTING.md Update TROUBLESHOOTING.md (#55) 2021-03-12 06:37:07 -08:00
build_csharp_models.sh Consolidate Infer# analysis backend (#43) 2021-03-03 11:17:19 -08:00
run_infersharp.sh Copy reports to a specified folder (#140) 2022-05-10 10:20:24 -07:00

README.md

InferSharp

InferSharp (also referred to as Infer#) is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects race conditions, null pointer dereferences and resource leaks. Read more about our approach in the Wiki page.

In addition to implementing the C# frontend, we contributed our language-agnostic serialization layer (Commit #1361) to facebook/infer, which opens up opportunities for additional language support in the future.

New: InferSharp is now integrated in VS and VSCode!

VS Demo Demo

VSCode Demo Demo

Public Announcements

Get Started

The latest version is GitHub release (latest by date including pre-releases). Please refer to the release page for more information on the changes.

VS Extension

Please see here to use InferSharp in VS.

VSCode Extension

Please see here to use InferSharp in VSCode.

Windows Subsystem for Linux

The instructions can be found here.

GitHub Action

The instructions can be found here.

Azure Pipelines

Infer# can be run as an Azure Pipelines container job. An example can be found here.

Docker Image

The instructions can be found here.

Build from Source

Use this Dockerfile to build images and binaries from source. It builds the latest code from microsoft/infersharp:main + facebook/infer:main by default.

Troubleshooting

Please refer to the troubleshooting guide.

Contributing

We welcome contributions. Please follow this guideline.

Trademarks

This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft trademarks or logos is subject to and must follow Microsoft's Trademark & Brand Guidelines. Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship. Any use of third-party trademarks or logos are subject to those third-party's policies.

Security Reporting Instructions

Please do not report security vulnerabilities through public GitHub issues. Instead, please follow this guideline.