Analyzing firmware images