Understanding Execution Environment of File-Manipulation Scripts by Extracting Pre-Conditions | IEEE Conference Publication | IEEE Xplore