Category Archives: Static Analysis

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

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

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