Extend Rchecker for Accurate Analysis of Real Embedded Projects

Interrupt-driven programs are widely used in embedded systems, but the uncertainty of interrupt interleaved execution may produce severe data race problems. Using static analysis for data race problem detection is an effective solution, and combining static analysis with program verification can further improve the accuracy of detection. Existing methods can only detect individual programs that ca...