Research Overview

Source code analysis research
not new
hot area of research currently (2002)
many big players

Key approaches
static vs dynamic analysis

type qualifiers
logical analysis
flow analysis
virtual machine analysis