MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs