An automated approach for finding variable-constant pairing bugs