"static analysis" looks good, time for tests