A tool for checking web server configurations