BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.4//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:����ԭ��
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20181104T020000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RDATE:20191103T020000
TZNAME:EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20190310T020000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.359081.field_event_date.0@www.wright.edu
DTSTAMP:20260220T000920Z
CREATED:20190430T204153Z
DESCRIPTION:Committee:  Drs. Michelle Cheatham\, Advisor\, John Gallagher\,
  and Mateen RizkiABSTRACT:Software reverse engineering (SRE) is a broad fi
 eld with motivations ranging from verifying or documenting gordian source 
 code files to understanding and reimplementing binary object files and exe
 cutables. SRE of binaries is exceptionally compelling and challenging due 
 to large amounts of information that can be lost in the compilation progre
 ss. A central area in SRE is type inference. Type inference is built aroun
 d a fundamental step in understanding the behavior of a binary\, recoverin
 g the types of data in the program. Type inference has many unique techniq
 ues in both static and dynamic type inference systems that have been imple
 mented in more than forty approaches.The problem has been noted in literat
 ure that evaluation and testing is difficult in software reverse engineeri
 ng due to various challenges like closed-source tools\, commercial fees\, 
 inconstancy of data being tested\; a 2016 survey noted many of these tools
  cannot be compared against each other\, or introduce techniques that woul
 d be beneficial to evaluate in other situations. This survey noted the nee
 d for additional work to focus more on specific techniques in the hopes of
  generating better environments to test approaches in\, or compare against
 \, even if there is no access to the tool.This lightweight configurable ap
 proach evaluates the well-known techniques of flow-sensitive\, context-sen
 sitive\, type inference based on instructions and type propagation\, howev
 er\, it works to isolate these techniques and compares how they changed wi
 th additional information. With this in mind\, all the indicators are conf
 igurable as means to help engineers who are interested in evaluating the e
 ffectiveness of an indicator within a configuration or technique.
DTSTART;TZID=America/New_York:20190503T111500
DTEND;TZID=America/New_York:20190503T133000
LAST-MODIFIED:20190501T125435Z
LOCATION:304 Russ Engineering
SUMMARY:Masters Thesis Defense “Static Evaluation of Type Inference and Pro
 pagation on Global Variables with Varying Context” By Ivan Frasure
URL;TYPE=URI:/events/masters-thesis-defense-%E2%80%9C
 static-evaluation-type-inference-propagation-global-variables-varying
END:VEVENT
END:VCALENDAR