Static analysis and Coverity scanning of vulnerable source codes. Part of CROCS (http://crcs.cz) project Software Security and Secure Programming.