Arie Gurfinkel
Software Engineering Institute
Publications by Arie Gurfinkel
-
Supervised Learning for Provenance-Similarity of Binaries
October 28, 2014 • Article
Sagar ChakiCory CohenArie Gurfinkel
In this article, the authors present a notion of similarity based on provenance; two binaries are similar if they are compiled from the same source code with the same compilers.
read -
Binary Function Clustering using Semantic Hashes
October 28, 2014 • Article
Wesley JinSagar ChakiCory Cohen
In this article, the authors present an alternative to pair wise comparisons based on "hashing” that captures the semantics of functions as semantic hashes.
read -
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis
October 28, 2014 • Article
Wesley JinCory CohenJeff Gennari
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.
read -
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
July 01, 2013 • Technical Report
Bjorn AnderssonLori FlynnDavid P. Gluch
This report describes line-funded exploratory new starts (LENS) projects that were conducted during fiscal year 2012 (October 2011 through September 2012).
read -
Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems
April 29, 2013 • White Paper
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.
read -
Reliability Improvement and Validation Framework
November 01, 2012 • Special Report
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly software-reliant, safety-critical systems.
read -
Results of SEI Line-Funded Exploratory New Starts Projects
August 01, 2012 • Technical Report
Len BassRick KazmanEdwin J. Morris
This report describes the line-funded exploratory new starts (LENS) projects that were undertaken during fiscal year 2011. For each project, the report presents a brief description and a recounting of the research that was done, as well as a synopsis of the results of the project.
read -
Time-Bounded Analysis of Real-Time Systems
October 31, 2011 • Presentation
Sagar ChakiArie GurfinkelSoonho Kong
This presentation considers the problem of verifying functional correctness of periodic Real-Time Embedded Software (RTES), a popular variant of RTES that execute periodic tasks in an order determined by Rate Monotonic Scheduling (RMS).
read -
COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification
August 01, 2010 • Technical Report
Sagar ChakiArie Gurfinkel
In this report, the authors present COVERT, an automated framework for finding buffer overflows in C programs using software verification tools and techniques.
read