Add static analysis tests