progpilot v0.5 releases: A static analysis tool for security