The invention discloses a patch security detecting method and
system for
software update.The method comprises the steps that by means of conducting preprocessing on patches,
intermediate code analysis is conducted to obtain basic blocks affected by the patches, memory sensitive functions and variables thereof are obtained by means of the basic blocks affected by the patches, and a main execution path is constructed by starting from the memory sensitive functions; in the process of conducting
symbolic execution on the path, the specific
path condition is determined, and when the specific memory sensitive function is reached, the
path condition at this time is combined with a corresponding security
detector to judge whether a
software update security problem exists or not.The patch security detecting method and
system for the
software update focus on detecting the security of different parts, relative to an older version, of the new version after software is updated, the problems that in an existing patch security detection scheme, the
false positive rate and false negative rate are high, the efficiency is low due to
duplicate detection, and overdependence on
test set effectiveness exists are solved, the detection efficiency is significantly improved, and the accuracy of patch security detection is further improved.