The invention relates to a
firmware vulnerability detection method and device,
terminal equipment and a
computer program product, and the method comprises the steps: carrying out the dynamic
stain analysis of an
executable program of to-be-detected
firmware, and obtaining a plurality of
stain propagation paths; performing
risk assessment and complexity calculation on each taint propagation path to obtain a
risk assessment value and a complexity value of each taint propagation path; the
risk assessment value and the complexity value of the taint propagation path are input into a preset path scoring model, a path
score is obtained, and the path
score is in direct proportion to the risk assessment value and in inverse proportion to the complexity value; and performing
symbolic execution on a plurality of target propagation paths in the plurality of taint propagation paths, and determining potential vulnerabilities in the to-be-detected
firmware based on the
symbolic execution result of each target propagation path, the path
score of the target propagation path being greater than or equal to a first preset threshold. Through the method and the device, the problems of relatively high computing
resource consumption and relatively low detection efficiency of performing
vulnerability detection on the firmware in the
power equipment are solved.