Static Module Verifier technology enables full module analysis using Microsoft Azure. - View it on GitHub