Static analyzer problem