Browsing Theses by Subject "reverse engineering"
Now showing items 1-8 of 8
-
Completeness of Fact Extractors and a New Approach to Extraction with Emphasis on the Refers-to Relation
(University of Waterloo, 2008-08-19)This thesis deals with fact extraction, which analyzes source code (and sometimes related artifacts) to produce extracted facts about the code. These facts may, for example, record where in the code variables are declared ... -
Decompilation of Binaries into LLVM IR for Automated Analysis
(University of Waterloo, 2022-01-25)Complexity in malicious software is increasing to avoid detection and mitigation. As such, there is greater interest in using automation for reverse engineering. Current state-of-the-art tools use proprietary intermediate ... -
Dynamic Laser Fault Injection Aided by Quiescent Photon Emissions in Embedded Microcontrollers: Apparatus, Methodology and Attacks
(University of Waterloo, 2020-07-27)Internet of Things (IoT) is becoming more integrated in our daily life with the increasing number of embedded electronic devices interacting together. These electronic devices are often controlled by a Micro-Controller ... -
Feature Model Mining
(University of Waterloo, 2008-08-28)<p>Software systems have grown larger and more complex in recent years. Generative software development strives to automate software development from a systems family by generating implementations using domain-specific ... -
Feature Model Synthesis
(University of Waterloo, 2013-09-03)Variability provides the ability to adapt and customize a software system's artifacts for a particular context or circumstance. Variability enables code reuse, but its mechanisms are often tangled within a software artifact ... -
Framework-Specific Modeling Languages
(University of Waterloo, 2008-09-24)Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks. FSMLs formalize abstractions and rules of the framework's application programming interfaces (APIs) and ... -
A Hybrid Model for Object-Oriented Software Maintenance
(University of Waterloo, 2008-09-22)An object-oriented software system is composed of a collection of communicating objects that co-operate with one another to achieve some desired goals. The object is the basic unit of abstraction in an OO program; ... -
Variability Anomalies in Software Product Lines
(University of Waterloo, 2014-08-07)Software Product Lines (SPLs) allow variants of a software system to be generated based on the configuration selected by the user. In this thesis, we focus on C based software systems with build-time variability using a ...