The Importance of Code Documentation for Vulnerability Testing