Analyzing Software