Coverity Security Research Laboratory: where program analysis and application security meet. We talk about static analysis, dynamic analysis, runtime analysis and see how they can be applied to application security.