# Certora - Monthly Update

**URL:** https://governance.aave.com/t/certora-monthly-update/20038
**Category:** Governance
**Created:** [December 3, 2024, 9:49am UTC](https://governance.aave.com/t/certora-monthly-update/20038 "2024-12-03T09:49:03Z")
**Posts on this page:** 1
**Showing post:** 2

<div class="post-metadata">

### Author: ![Certora](https://dub1.discourse-cdn.com/flex013/user_avatar/governance.aave.com/certora/32/6230_2.png) [@Certora](https://governance.aave.com/u/Certora)
#### Post date: [December 3, 2024, 9:57am UTC](https://governance.aave.com/t/certora-monthly-update/20038/2 "2024-12-03T09:57:13Z")

</div>

# September - November 2024

## Executive Summary

In the last Quarter, Certora has continued to safeguard the Aave ecosystem through code reviews, rigorous formal verification, and proactive security measures.

👀 Total proposals reviewed: **53**  
✅ Proposals approved: **52**  
✍ Proposals rejected/modified: **9**  
❌ Issues requiring proposal cancellation: **1**  
⚒ Proposals required actions other than cancellation: **8**

### Audit Reviews and Formal Verification

📜 Total smart contracts reviewed: **74**

🕵 Projects reviewed: **7**

1. **ParaSwapAdapter patch**

2. **V3.2 - Liquid eMode - [Link to Security Report](https://github.com/aave-dao/aave-v3-origin/blob/main/audits/2024-09-19_Certora_Aave-v3.2_Liquid_eModes.pdf)**

3. **V3.2.1 - StableDebt Token Getter For Integrator**

4. **EzETH oracle - [Link to Security Report](https://governance.aave.com/t/arfc-onboard-ezeth-to-aave-v3-lido-instance/18504/12)**

5. **CrossChain Gho Token Upgrade to CCIP V1.5**

6. **CrossChain Gho Token Upgrade to CCIP V1.5 AIP**

7. **V3.3 - Deficit Assuming and Handling - Report in Progress**

---

_[View the full topic](https://governance.aave.com/t/certora-monthly-update/20038)._