Security Audits

Audits what an attacker can make a change do, from attacker-controlled input to its effect.