The invention discloses a crash analysis method and system for a binary program, and the method comprises the steps: S1, information collection and processing: carrying out the code instrumentation of a plurality of key positions and basic blocks through an instrumentation module, then running the program, and recording the information; the taint module takes program input as taints, tracks propagation of the taints in a program execution process, performs symbolization operation on each executed instruction, and finally performs reverse slicing and information recording from a crash point according to symbolization content; and S2, performing analysis on the basis of the data processed in the step S1 to obtain an execution trajectory diagram, a stain propagation trajectory diagram, crash causes and the like of a program; according to the method, the program can be analyzed, the crash information during program running can be collected, crash backtracking, crash point positioning, crash cause determination and the like can be carried out under the condition of passive codes, the cost of manual analysis is greatly reduced, and vulnerability analysts can be assisted to quickly determine a program crash mechanism and the like.