Scalable Context-Sensitive Pointer Analysis for LLVM
MetadataShow full item record
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 moderately precise while scalable to large real-world programs. In this thesis, we show that existing context-sensitive unification-based pointer analyses suffer from the problem of oversharing – propagating too many abstract objects across the analysis of different procedures, which prevents them from scaling to large programs. We present a new pointer analysis for LLVM, called TeaDsa, with such an oversharing significantly reduced. We show how to further improve precision and speed of TeaDsa with extra contextual information, such as flow-sensitivity at call- and return-sites, and type information about memory accesses. We evaluate TeaDsa on the verification problem of detecting unsafe memory accesses and compare it against two state-of-the-art pointer analyses: SVF and SeaDsa. We show that TeaDsa is one order of magnitude faster than either SVF or SeaDsa, strictly more precise than SeaDsa, and, surprisingly, sometimes more precise than SVF.
Cite this version of the work
Jakub Kuderski (2019). Scalable Context-Sensitive Pointer Analysis for LLVM. UWSpace. http://hdl.handle.net/10012/14875
Showing items related by title, author, creator and subject.
Developments and applications of solid phase microextraction (SPME) coupled to direct analysis in real time (DART) and approaches towards small volume analysis Vasiljevic, Tijana (University of Waterloo, 2019-08-21)Solid phase microextraction (SPME) has been rapidly developing since its invention in 1990. Due to a flexible design and the ability to implement various extractive coatings, SPME has found use in numerous applications. ...
Nadi, Sarah (University of Waterloo, 2009-12-23)Most companies relying on an Information Technology (IT) system for their daily operations heavily invest in its maintenance. Tools that monitor network traffic, record anomalies and keep track of the changes that occur ...
Testing the spatial affordance hypothesis: Evidence from factor analysis, mathematical models, and behavioural analysis Barton, Kevin (University of Waterloo, 2015-09-29)This thesis attempts to explain the apparent link between how we navigate the world around us and the physical properties that define that world. Despite a number of works indicating the substantial effect of the layout ...