Deakstadieđáhus: Static analysis of software