Data flow and heap analysis with application to privilege escalation vulnerability scanning and software theft detection. - Ping-fai Chan (2013)