Browsing Engineering (Faculty of) by Subject "program verification"
Now showing items 1-1 of 1
-
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 ...