Yes, yes you can. Robustness isn't determined by auditing -- we know this doesn't work in practice. Robustness is determined by beating on it and seeing how i

Yes, yes you can. Robustness isn't determined by auditing -- we know this doesn't work in practice. Robustness is determined by beating on it and seeing how it breaks; this is the point of heavy testing, including fuzzing in the case of drivers. You absolutely don't need source for this.