Browsing Engineering (Faculty of) by Author "Eyolfson, Jonathan"
Now showing items 1-2 of 2
-
Enforcing Abstract Immutability
Eyolfson, Jonathan (University of Waterloo, 2018-08-01)Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support "abstract immutability". An abstractly immutable ... -
Tracerory - Dynamic Tracematches and Unread Memory Detection for C/C++
Eyolfson, Jonathan (University of Waterloo, 2011-08-31)Dynamic binary translation allows us to analyze a program during execution without the need for a compiler or the program's source code. In this work, we present two applications of dynamic binary translation: tracematches ...