How to prevent concurrency errors?

static (source) analysis vs dynamic anaysis (test)

static analysis: Prevent (Coverity), ? (Fortify)
dynamic analysis: DevPartner Studio (Compuware)