Trail of Bits Blog

Menu

Skip to content

Home

Published July 3, 2019 at 832 × 952 in Avoiding Smart Contract “Gridlock” with Slither

Trackbacks are closed, but you can post a comment.

Leave a Reply Cancel reply

Search

About Us

Since 2012, Trail of Bits has helped secure some of the world’s most targeted organizations and products. We combine high-end security research with a real world attacker mentality to reduce risk and fortify code.

Read more at www.trailofbits.com

Subscribe via RSS

Recent Posts

Good idea, bad design: How the Diamond standard falls short
Efficient audits with machine learning and Slither-simil
Let’s build a high-performance fuzzer with GPUs!
Osquery: Using D-Bus to query systemd data
Detecting Iterator Invalidation with CodeQL
PrivacyRaven Has Left the Nest
Graphtage: A New Semantic Diffing Tool
Using Echidna to test a smart contract library
Sinter: New user-mode security enforcement for macOS
Accidentally stepping on a DeFi lego
Contract verification made easier
Advocating for change
Upgradeable contracts made safer with Crytic
ECDSA: Handle with Care
How to check if a mutex is locked in Go

Yearly Archive

2020
2019
2018
2017
2016
2015
2014
2013
2012

Categories