Amnify Code vs Data Theorem Code SAST Secure (2026)