GitHub repository: FICS/BigMAC
Primary language: Prolog
Created: 2019-12-02T21:50:52Z
Description: BigMAC: Analysis tool to introspect and query Android security policies.