Regression tests for live-variable analysis on machine code