Upgradeable contracts made safer with Crytic

Published

2020-06-12 11:50

Collected

2026-07-03 04:15

---
id: 1853
title: "Upgradeable contracts made safer with Crytic"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/06/12/upgradeable-contracts-made-safer-with-crytic/"
published_at: "2020-06-12T11:50:52Z"
tags: ["smart-contracts", "ci-cd", "blockchain", "delegatecall", "upgradeability", "crytic", "security-scanning"]
phying_url: "https://phying.com/item/1853"
lang: en
---

# Upgradeable contracts made safer with Crytic

## Summary

Crytic adds a suite of 17 upgradeability checks that run on every commit and pull request, catching delegatecall proxy flaws such as storage collisions, function shadowing, and initialization bugs.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-06-12T11:50:52Z
- **Original:** https://blog.trailofbits.com/2020/06/12/upgradeable-contracts-made-safer-with-crytic/
- **Phying News:** https://phying.com/item/1853