1. A method comprising: identifying, in a computer program file, calls to stop functions, said stop functions comprising functions that interact with external resources; identifying parameters of said calls to said stop functions that are references to said external resources; and performing an analysis over said computer program file to find out possible values of said parameters of said calls.