Browsing Engineering (Faculty of) by Subject "Static Analysis"

Now showing items 1-3 of 3

Collection Disjointness Analysis in Java

Chu, Hang (University of Waterloo, 2011-01-19)

This thesis presents a collection disjointness analysis to find disjointness relations between collections in Java. We define the three types of disjointness relations between collections: must-shared, may-shared and ...
MockDetector: Detecting and tracking mock objects in unit tests

Liang, Qian (University of Waterloo, 2021-09-21)

Unit testing is a widely used tool in modern software development processes. A well-known issue in writing tests is handling dependencies: creating usable objects for dependencies is often complicated. Developers must ...
Pluggable Properties for Program Understanding: Ontic Type Checking and Inference

Chen, Zhuo (University of Waterloo, 2018-04-26)

Pluggable type systems is a powerful approach to add additional information on types, which can facilitate the understanding of programs. This thesis presents our work on three pluggable type systems for helping both ...