Replaying Bugs With Certora: Sorra Finance
In this blog post we’re going to deep dive into the Sorra Finance hack, find the root cause of the bug and create a certora rule which could’ve prevented the exploit.
In this blog post we’re going to deep dive into the Sorra Finance hack, find the root cause of the bug and create a certora rule which could’ve prevented the exploit.
In this blog post we’re going to:
1. Understand how ERC20 self transfer vulnerability works in smart contracts
2. Create a semgrep rule for finding such contracts
3. Scan https://github.com/tintinweb/smart-contract-sanctuary to better understand how many contracts exist with such bug
In this tutorial we’re going to build a very basic decentralized exchange (DEX) like Uniswap or PancakeSwap.
In this tutorial we’re going to create our own ERC721 NFT collection and publish it on the Opensea marketplace.
In this tutorial we’re going to define base steps for web penetration testing and find vulnerabilities in DVWA.