Category Archives: McSema

Optimizing Lifted Bitcode with Dead Store Elimination July 6, 2018

Heavy lifting with McSema 2.0 January 23, 2018

McSema: I’m liftin’ it March 14, 2017

How We Fared in the Cyber Grand Challenge July 15, 2015

Close Encounters with Symbolic Execution (Part 2) December 4, 2014

Close Encounters with Symbolic Execution November 25, 2014

McSema is Officially Open Source! August 7, 2014

A Preview of McSema June 23, 2014