Static analysis tool for Debian packages