Slide 1Static Analysis of Heap-manipulating Low-level software Sumit GulwaniAshish Tiwari MSR, Redmond SRI International Slide 2 1 Related Work Alias/Pointer Analysis [Work…