The invention provides a binary program
vulnerability mining method, device and
system based on
symbolic execution and taint analysis and a medium, and the method comprises the steps: disassembling a target program, extracting a
control flow graph (CFG) and a data flow graph (DFG), recording a node state through a
hash table, and generating a feature representation through
nonlinear transformation; performing
simulation execution based on CFG, DFG and feature representation, recording variable symbol values to obtain path conditions, and recursively solving constraints to generate path mapping; marking input as taint data, recursively calculating a propagation path to generate a taint flow diagram, and determining a taint state after sensitive operation; checking whether the stains are subjected to sensitive operation or not, and if the influence of integral formula calculation exceeds a threshold value, judging that potential vulnerabilities generate a candidate set; and calculating grades through a
risk assessment formula, and generating a report containing positions, types, grades and repair suggestions. The method combines
symbolic execution and taint analysis, can comprehensively and accurately detect vulnerabilities, has remarkable precision and efficiency advantages, and is suitable for complex
program security analysis.