Tekstiviesti: Static analysis of software