Browsing Electrical and Computer Engineering by Subject "program analysis"
Now showing items 1-2 of 2
-
Scalable Context-Sensitive Pointer Analysis for LLVM
(University of Waterloo, 2019-08-13)Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses for low-level languages that are ... -
Type Checking and Whole-program Inference for Value Range Analysis
(University of Waterloo, 2020-10-19)Value range analysis is important in many software domains for ensuring the safety and reliability of a program and is a crucial facet in software development. The resulting information can be used in optimizations such ...