Category Archives: Program Analysis

Performing Concolic Execution on Cryptographic Primitives April 1, 2019

The Good, the Bad, and the Weird October 26, 2018

Protecting Software Against Exploitation with DARPA’s CFAR September 10, 2018

Rattle – an Ethereum EVM binary analysis framework September 6, 2018

Optimizing Lifted Bitcode with Dead Store Elimination July 6, 2018

State Machine Testing with Echidna May 3, 2018

Vulnerability Modeling with Binary Ninja April 4, 2018

Use our suite of Ethereum security tools March 23, 2018

Manticore: Symbolic execution for humans April 27, 2017

Devirtualizing C++ with Binary Ninja February 13, 2017