Sciweavers

Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Recent Google, Yahoo, MSN search queries leading to this post
Verifying Heap-Manipulating Programs with Unknown Procedure Calls