Understanding Execution Environment of File-Manipulation Scripts by Extracting Pre-Conditions.