2009-05-19 Dynamic Data Flow Analysis via VirtualCode Integration (aka The SpiderPig case) http://piotrbania.com/all/spiderpig/pbania-spiderpig2008.pdf