Գրեք սա: Static analysis of software