Light-weight context recovery for efficient and accurate program analyses