VDF: Targeted Evolutionary Fuzz Testing of Virtual Devices.- Static Program Analysis as a Fuzzing...