Bug Hunting in Smart Contracts with Crytic

https://blog.trailofbits.com/2020/05/15/bug-hunting-with-crytic/

by galapago • 6 years ago

34 3 6 years ago

blog.trailofbits.com

woodruffw• 6 years ago

(FD: My company's blog).

I don't work in cryptocurrency and so maybe my perspective is flawed, but I am continually astounded by prevalence of low-hanging fruit in what ought to be an incredibly simple execution space.

As an outsider looking in, it feels like the cryptocurrency community has been given an ideal environment for static analysis and formal verification and still manages to produce grossly vulnerable and/or unreliable contracts.

craze3• 6 years ago

Would've been helpful if they mentioned what kind of smart contracts they support at the very top of the article. I had to dive in to find out they're talking about Solidity

mesozoic• 6 years ago

Seems useful for testing public contracts. Bug hunters can get paid using the tool testing the contracts out in the wild and making money directly when they find bugs.

Bug Hunting in Smart Contracts with Crytic

Related Stories