Static analysis for the detection of metamorphic computer viruses using repeated-instructions counting heuristics