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