progpilot: A static analysis tool for security