Crate apple_codesign

source ·
Expand description

Binary code signing for Apple platforms.

This crate implements application code signing for Apple operating systems (like macOS and iOS). A goal of this crate is to serve as a stand-in replacement for Apple’s codesign (and similar tools) without a dependency on an Apple hardware device or operating system: you should be able to sign and release Apple binaries from Linux, Windows, or other non-Apple environments if you want to.

Apple code signing is complex and there are likely several areas where this crate and Apple’s implementations don’t align. It is highly recommended to validate output against what Apple’s official tools produce.

Features and Capabilities

This crate can:

  • Find code signature data embedded in Mach-O binaries (both single and multi-arch/fat/universal binaries). (See MachOBinary struct.)
  • Deeply parse code signature data into Rust structs. (See EmbeddedSignature, BlobData, and e.g. CodeDirectoryBlob.
  • Parse and verify the RFC 5652 Cryptographic Message Syntax (CMS) signature data. This includes using a Time-Stamp Protocol (TSP) / RFC 3161 server for including a signed time-stamp token for that signature. (Functionality provided by the cryptographic-message-syntax crate, developed in the same repository as this crate.)
  • Generate new embedded signature data, including cryptographically signing that data using any signing key and X.509 certificate chain you provide. (See MachOSigner and BundleSigner.)
  • Writing a new Mach-O file containing new signature data. (See MachOSigner.)
  • Parse CodeResources XML plist files defining information on nested/signed resources within bundles. This includes parsing and applying the filtering rules defining in these files.
  • Sign bundles. Nested bundles will automatically be signed. Additional Mach-O binaries outside the main executable will also be signed. Non Mach-O/code files will be digested. A CodeResources XML file will be produced.
  • Submit notarization requests to Apple and query notarization status. (Bundles, DMGs, and .pkg installers are all supported.)
  • Retrieve notarization tickets from Apple and staple. All formats supporting notarization can be stapled.

There are a number of missing features and capabilities from this crate that we hope are eventually implemented:

  • No parsing of the Code Signing Requirements DSL. We support parsing the binary requirements to Rust structs, serializing back to binary, and rendering to the human friendly DSL. You will need to use the csreq tool to compile an expression to binary and then give that binary blob to this crate. Alternatively, you can write Rust code to construct a code requirements expression and serialize that to binary.
  • No turnkey support for signing keys. We want to make it easier for obtaining signing keys (and their X.509 certificate chain) for use with this crate. It should be possible to easily integrate with the OS’s key store or hardware based stores (such as Yubikeys). We also don’t look for necessary X.509 certificate extensions that Apple’s verification likely mandates, which we should do and enforce.
  • Some more advanced bundles or .pkg files may not sign, notarize, or staple correctly. Problems here are considered bugs and should be reported.

There is missing features and functionality that will likely never be implemented:

  • Binary verification compliant with Apple’s operating systems. We are capable of verifying the digests of code and other embedded signature data. We can also verify that a cryptographic signature came from the annotated public key in that signature. We can also write heuristics to look for certain common problems with signatures. But we can’t and likely never will implement all the rules Apple uses to verify a binary for execution because we perceive there to be little value in doing this. This crate could be used to build such functionality elsewhere, however.

End-User Documentation

The end-user documentation is maintained as a Sphinx docs tree in the docs directory. The latest version of the documentation is published at https://gregoryszorc.com/docs/apple-codesign/main/.

Getting Started

The UnifiedSigner type is a good place to start to see how the high level API for signing is implemented.

To learn about the low-level data structures in embedded code signatures, read specification. Or look at the code in embedded_signature and embedded_signature_builder.

MachOSigner is the type responsible for signing Mach-O files.

BundleSigner is the type responsible for signing bundles.

dmg::DmgSigner signs DMG files.

The EmbeddedSignature represents a parsed Apple code signature and provides API for data retrieval.

Accessing Apple Code Signing Certificates

This crate doesn’t yet support integrating with the macOS keychain to obtain or use the code signing certificate private key. However, it does support importing the certificate key from a .p12 file exported from the Keychain Access application. It also supports exporting the x509 certificate chain for a given certificate by speaking directly to the macOS keychain APIs.

See the keychain-export-certificate-chain CLI command for exporting a code signing certificate’s x509 chain as PEM.

Re-exports

pub use code_requirement::*;
pub use embedded_signature::*;
pub use notarization::*;

Modules

Code requirement language primitives.
Common cryptography primitives.
DMG file handling.
Common embedded signature data structures (superblobs, magic values, etc).
Provides primitives for constructing embeddable signature data structures.
Code entitlements handling.
Apple notarization functionality.
Remote signing support.
Apple code signing technical specifications
Attach Apple notarization tickets to signed entities.
Support for retrieving notarization tickets and stapling artifacts.

Structs

Content of an LC_BUILD_VERSION load command.
A primitive for signing an Apple bundle.
High-level representation of a CMS signature.
Represents a code directory blob entry.
Represents a _CodeSignature/CodeResources XML plist.
Interface for constructing a CodeResources instance.
Represents an abstract rule in a CodeResources XML plist.
High level representation of a code signature.
Code signature flags.
Flags that influence behavior of executable segment.
Represents a semi-parsed Mach[-O] binary.
A Mach-O binary.
Describes signature data embedded within a Mach-O binary.
Mach-O binary signer.
Targeting settings for a Mach-O binary.
Metadata about a signed Mach-O file or bundle.
Represents code signing settings.
A primitive for signing a single Apple bundle.
An entity for performing signing that is able to handle all supported target types.
Interface for constructing a universal Mach-O binary.
Context for a verification issue.

Enums

Unified error type for Apple code signing.
Denotes specific certificate extensions on Apple certificate authority certificates.
Describes combinations of certificate extensions for Apple code signing certificates.
Version of Code Directory data structure.
Describes one of the many X.509 certificate extensions found on Apple code signing certificates.
Describes how to derive designated requirements during signing.
Defines well-known execution policies for signed code.
Describes the type of code signing that a certificate is authorized to perform.
Which files section we are operating on and how to digest.
Defines all known Apple certificates.
Describes the type of entity at a path.
Represents PLATFORM_ mach-o constants.
Denotes the scope for a setting.
Entity for reading Apple code signature data.
Describes a problem with verification.

Constants

Traits

Extends functionality of CapturedX509Certificate with Apple specific certificate knowledge.
Extensions to X509CertificateBuilder specializing in Apple certificate behavior.
Used to process individual files within a bundle.

Functions

Copy a bundle’s contents to a destination directory.
Create a new self-signed X.509 certificate suitable for signing code.
Derive a designated requirements expression given a code signing certificate.
Parses and integer with nibbles xxxx.yy.zz into a semver::Version.
Test whether a given path is likely a XAR file.
Test whether a given path is likely a ZIP file.
Convert a semver::Version to a u32 with nibble encoding used by Mach-O.
Verifies a parsed Mach-O binary.
Verifies unparsed Mach-O data.
Verifies a binary in a given path.
Write Mach-O file content to an output file.