Lập trình an toàn – xác định lỗ hổng phần mềm theo cách tự động hóa