Home

iOracle

The iOracle project seeks to model the iOS access control architecture as a collection of Prolog facts such that researchers or Apple developers can ask questions about the architecture and get rapid responses.

Topics

• Assumptions and Limitations
• General iOS
• Files
• Sandbox Profiles
• Processes and IPCs
• IOKit and Drivers
• Entitlements
• ACLs
• Networking
• Frameworks
• IDA
• Inventory