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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

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.