Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Jeff Gennari
December 2017 - Podcast Pharos Binary Static Analysis: An Update

Topics: Malware Analysis

Authors: Jeff Gennari

Jeff Gennari discusses updates to the Pharos framework, which automates reverse engineering of malware analysis, including new tools, improvements, and bug fixes.

November 2017 - Video SEI Cyber Minute: Automated Reverse Engineering with Pharos

Authors: Jeff Gennari

Reverse engineering is a challenging and time consuming process that traditionally requires skilled and experienced analysts. The Pharos framework includes a number of utilities and tools to automate common reverse engineering tasks.

October 2016 - Poster Property Directed Test-case Generation

Authors: Jeff Gennari

Property Directed Test-case Generation

October 2014 - Article Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis

Topics: Malware Analysis

In this article, the authors present a static approach that uses symbolic execution and inter-procedural data flow analysis to discover object instances, data members, and methods of a common class.

July 2011 - Podcast Building a Malware Analysis Capability

Topics: Malware Analysis

In this podcast, Jeff Gennari explains that analyzing malware is essential to assessing the damage and reducing the impact associated with ongoing infection.

September 2007 - Technical Note Ranged Integers for the C Programming Language

Topics: Secure Coding

In this 2007 report, the authors describe an extension to the C programming language to introduce the notion of ranged integers.