samskivert: Points-to Analysis by Type Inference of Programs with Structures and Unions – Steensgaard

06 March 2010

Extends the work described in Points-to Analysis in Almost Linear Time, which didn’t handle structs or unions (all this is for C). Unfortunately, C’s “type system” makes this work very messy because they need to account for all the nasty things you can do with structs (like overwrite two adjacent int fields by assigning through a long pointer). Sausage making indeed.

Source: PDF ACM

©1999–2015 Michael Bayne