...But you still need to put in the work, anon!

HOME
CATEGORIES
TIMELINE
ABOUT

Home Categories program_analysis

Category

program_analysis 1

Video: Program Slicing Apr 20, 2024

Recently Updated

The Three Prompts of Spec Thinking: Yet Another Lens for Smart Contract Auditing
Audio + Thread: How to find all the bugs in code review
Tip: Thinking of Smart Contracts as concurrent objects/threads
Fun fact: ERC721's transferFrom isn't standard-compliant
Tip: Looking for bugs vs looking for vulnerabilities

© 2025 Dravee. Some rights reserved.

Using the Chirpy theme for Jekyll.

A new version of content is available.