Category Archives: Program Analysis

Detecting Bad OpenSSL Usage May 29, 2020

Two New Tools that Tame the Treachery of Files November 1, 2019

Siderophile: Expose your Crate’s Unsafety July 1, 2019

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