SAGE: whitebox fuzzing for security testing