microsoft/infersharp

Infer# là trình phân tích mã tĩnh liên thủ tục và có khả năng mở rộng cho C#. Thông qua các khả năng của Infer từ Facebook, công cụ này phát hiện lỗi tham chiếu null, rò rỉ tài nguyên và vi phạm an toàn luồng. Nó cũng thực hiện theo dõi luồng dữ liệu để phát hiện các lỗ hổng bảo mật nghiêm trọng như SQL injection.