Analyzing executable files