Image for post
Image for post

Ethereum Pawn Stars: “$5.7M in hard assets? Best I can do is $2.3M”

Yannis Smaragdakis
Jan 7 · 7 min read

Saving DeFi Saver with Static Contract Analysis

By the Dedaub team

The Vulnerability

Image for post
Image for post
Vulnerable code, one instance

Automated Analysis and Finding the Vulnerability

Image for post
Image for post
Analysis view of the vulnerable functionality. We can control all parameters of the transferFrom but the last
Image for post
Image for post
Image for post
Image for post
Etherscan Loans view of one of the vulnerable clients. $735K of oustanding loans, $2M in collateral.

The Salvage Operation

Image for post
Image for post

Wrapping Up

Dedaub

Security Technology for Smart Contracts

Medium is an open platform where 170 million readers come to find insightful and dynamic thinking. Here, expert and undiscovered voices alike dive into the heart of any topic and bring new ideas to the surface. Learn more

Follow the writers, publications, and topics that matter to you, and you’ll see them on your homepage and in your inbox. Explore

If you have a story to tell, knowledge to share, or a perspective to offer — welcome home. It’s easy and free to post your thinking on any topic. Write on Medium

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store