GitHub repository: microsoft/Static-Module-Verifier
Primary language: C#
Description: Static Module Verifier technology enables full module analysis using Microsoft Azure.