Category Archives: Static Analysis

Reverse Taint Analysis Using Binary Ninja August 29, 2019

Avoiding Smart Contract “Gridlock” with Slither July 3, 2019

Use constexpr for faster, smaller, and safer code June 27, 2019

Creating an LLVM Sanitizer from Hopes and Dreams June 25, 2019

Trail of Bits @ ICSE 2019 – Recap June 19, 2019

Announcing Automated Reverse Engineering Trainings May 30, 2019

Slither: The Leading Static Analyzer for Smart Contracts May 27, 2019

Slither – a Solidity static analysis framework October 19, 2018

Vulnerability Modeling with Binary Ninja April 4, 2018

Use our suite of Ethereum security tools March 23, 2018