A program to statically analyze bibtex databases.