The present invention discloses a 
crash analysis method and 
system for binary programs, including steps: S1, information collection and 
processing, in this step, the 
instrumentation module performs code 
instrumentation on multiple key positions and basic blocks, and then runs the program  , 
record information; the taint module takes the program input as taint, tracks the spread of taint during program execution, and at the same time, performs symbolic operation on each executed instruction, and finally performs reverse slice from the 
crash point according to the symbolic content  , 
record information; S2, analyze based on the data processed in step S1, and obtain the program execution trajectory diagram, 
stain propagation trajectory diagram and 
crash causes, etc.; the present invention can analyze the program without 
source code, and collect the program running  
Crash information, crash 
backtracking, locating the crash point, determining the cause of the crash, etc., greatly reduces the cost of manual analysis, and can assist 
vulnerability analysts to quickly determine the mechanism of the program crash.