Category Archives: Static Analysis

Working on blockchains as a Trail of Bits intern October 5, 2022

Secure your machine learning with Semgrep October 3, 2022

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