The process of software engineers checking the flow of user input in application code to determine if unanticipated input can affect program execution in malicious ways.
Taint analysis is a useful technique for a security audit of a program’s attack surface.