This report details the formal verification and manual security audit of Safe Smart Account v1.5.0, performed by Certora between December 10, 2024, and January 14, 2025. The scope included over 40 contracts spanning core logic, fallbacks, extensions, and proxies. The following report provides details of the findings and reviews.