Category Archives: Static Analysis

Detecting Iterator Invalidation with CodeQL October 9, 2020

Security assessment techniques for Go projects November 7, 2019

Watch Your Language: Our First Vyper Audit October 24, 2019

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