Anthony Montoya · AI systems, native apps & custom software

Atlas

Apple-platform binary analysis and security research tooling.

Binary-analysis research tooling

Platforms: macOS analysis tooling / Apple-platform binaries

The problem

An unfamiliar Apple-platform binary contains many interfaces, entitlements, and call paths. An analyst needs a way to connect those clues and retain the evidence behind a candidate.

The goal

Turn binary structure and capability information into reviewable security-analysis candidates.

Engineering contribution

Binary capability extraction, interprocedural call-graph analysis, candidate provenance, and analyst-facing reports.

Binary surface

The extractor enumerates executables and reads entitlement and signing information.

Call-graph analysis

Graph construction includes function boundaries and Objective-C or block dispatch relationships.

Candidate reporting

Reporting groups findings by source and renders candidate evidence for review.

Delivery stage: Research prototype

More selected work