Trail of Bits Blog
Menu
Skip to content
Home
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
Post navigation
←
Older posts
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website