GitHub repository: smillst/sparta
Primary language: Java
Description: Static Program Analysis for Reliable Trusted Apps