Here are some presentations relating to the subject of Static Program Analysis. You can read more about this topic on Wikipedia or see more topics.
