Browsing University of Waterloo by Author "Kuderski, Jakub"
Now showing items 1-1 of 1
-
Scalable Context-Sensitive Pointer Analysis for LLVM
Kuderski, Jakub (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 ...