Үүнийг мессежээр илгээх: Static analysis of software