[Secure+Programming+with+Static+Analysis.gif]