Category Archives: Static Analysis

Magnifier: An Experiment with Interactive Decompilation August 25, 2022

Shedding smart contract storage with Slither July 28, 2022

Amarna: Static analysis for Cairo programs April 20, 2022

Towards Practical Security Optimizations for Binaries March 25, 2022

Toward a Best-of-Both-Worlds Binary Disassembler January 5, 2022

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