Staatiline programmi analüüs