Skip to main content

IRE: A Framework For Inductive Reverse Engineering


Abstract Reverse engineering is critical to reasoning about how a system behaves. While complete access to a system inherently allows for perfect analysis, partial access is inherently uncertain. This is the case foran individual agent in a distributed system. Inductive Reverse Engineering (IRE) enables analysis under

such circumstances. IRE does this by producing program spaces consistent with individual input-output examples for a given domain-specific language. Then, IRE intersects those program spaces to produce a generalized program consistent with all examples. IRE, an easy to use framework, allows this domain-specific language to be specified in the form of Theorist s, which produce Theory s, a succinct way of representing the program space.... (more)
Created Date 2019
Contributor Nelson, Connor David (Author) / Doupé, Adam (Advisor) / Shoshitaishvili, Yan (Committee member) / Wang, Ruoyu (Committee member) / Arizona State University (Publisher)
Subject Computer science / Black Box / Inductive Reverse Engineering / Program Synthesis
Type Masters Thesis
Extent 30 pages
Language English
Copyright
Note Masters Thesis Computer Science 2019
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS


  Full Text
335.7 KB application/pdf
Download Count: 22

Description Dissertation/Thesis