Trail of Bits Blog
Menu
Skip to content
Home
Category Archives:
Static Analysis
Slither – a Solidity static analysis framework
October 19, 2018
Vulnerability Modeling with Binary Ninja
April 4, 2018
Use our suite of Ethereum security tools
March 23, 2018
An extra bit of analysis for Clemency
July 30, 2017
Devirtualizing C++ with Binary Ninja
February 13, 2017
Breaking Down Binary Ninja’s Low Level IL
January 31, 2017
Automated Code Audit’s First Customer
October 4, 2016
2000 cuts with Binary Ninja
June 3, 2016
The Problem with Dynamic Program Analysis
March 9, 2016
Using Static Analysis and Clang To Find Heartbleed
April 27, 2014
Post navigation
←
Older posts
Post to
Cancel