State Key Laboratory of Mathematical Engineering and Advanced Computing;
Zhengzhou;
450001;
China;
Henan University of Animal Husbandry&Economy;
Zhengzhou;
450046;
China;
University of Michigan Transportation Research Institute;
Michigan;
48109-2150;
USA;
Zhengzhou University;
Zhengzhou;
450001;
China;
Code mining; security sensitive function; function preconditions; single-linkage clustering;