Secure Programming with Static Analysis