Browsing by Author "Polishchuk, Marina"
Now showing items 2-2 of 2
-
WhatsAt: Dynamic Heap Type Inference for Program Understanding and Debugging
Polishchuk, Marina; Liblit, Ben; Schulze, Chloe W. (University of Wisconsin-Madison Department of Computer Sciences, 2006)C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency with program types. Our approach builds on ...