Static Program Analysis as a Fuzzing Aid