Interrupt-driven program-oriented register access conflict detection method

The invention discloses an interrupt-driven program-oriented register access conflict detection method, which comprises the following steps of: aiming at a given embedded interrupt-driven program containing register access operation, completing register access operation semantic representation based on register array variables; aiming at the converted embedded interrupt-driven program, performing register access conflict preliminary analysis based on static analysis and register access conflict accurate analysis based on program verification in sequence so as to screen out real access conflicts from a potential register access conflict problem set; and obtaining a real register access conflict problem set. According to the method, the challenges mainly existing in the detection of the register access conflict in the embedded interrupt-driven program can be solved, the semantics of the register operation access can be represented in the analysis process, whether different register operation accesses are the sa