BigMAC: Analysis tool to introspect and query Android security policies. - View it on GitHub